UEFIStarter/timestamp_8h_source.html

 #ifndef __TIMESTAMP_H
 #define __TIMESTAMP_H

 #include <Uefi.h>


 double timestamp_diff_seconds(UINT64 start, UINT64 end);
 int init_timestamps();
 UINT64 get_timestamp();
 UINT64 get_timestamp_ticks_per_second();


 #endif
get_timestamp_ticks_per_second
UINT64 get_timestamp_ticks_per_second()
Returns the number of timestamp ticks per second.
Definition: timestamp.c:114

timestamp_diff_seconds
double timestamp_diff_seconds(UINT64 start, UINT64 end)
Calculates the number of seconds between two timestamps.
Definition: timestamp.c:97

init_timestamps
int init_timestamps()
Initializes the timestamp features.
Definition: timestamp.c:34

get_timestamp
UINT64 get_timestamp()
Fetches and returns the current timestamp.
Definition: timestamp.c:71