iPXE
profile.h File Reference

Profiling. More...

#include <stdint.h>

Go to the source code of this file.

Functions

 FILE_LICENCE (GPL2_OR_LATER_OR_UBDL)
static __attribute__ ((always_inline)) unsigned long profile_timestamp(void)
 Get profiling timestamp.

Detailed Description

Profiling.

Definition in file profile.h.

Function Documentation

◆ FILE_LICENCE()

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )

◆ __attribute__()

__attribute__ ( (always_inline) )
inlinestatic

Get profiling timestamp.

Return values
timestampTimestamp

Definition at line 19 of file profile.h.

20 {
21 uint32_t tsc;
22
23 /* Read timestamp counter */
24 __asm__ __volatile__ ( "rdtsc" : "=a" ( tsc ) : : "edx" );
25 return tsc;
26}
__asm__ __volatile__("call *%9" :"=a"(result), "=c"(discard_ecx), "=d"(discard_edx) :"d"(0), "a"(code), "b"(0), "c"(in_phys), "D"(0), "S"(out_phys), "m"(hypercall))
unsigned int uint32_t
Definition stdint.h:12
__asm__(".section \".rodata\", \"a\", " PROGBITS "\n\t" "\nprivate_key_data:\n\t" ".size private_key_data, ( . - private_key_data )\n\t" ".equ private_key_len, ( . - private_key_data )\n\t" ".previous\n\t")

References __asm__(), and __volatile__().