Searched refs:efi_get_time (Results 1 – 4 of 4) sorted by relevance
37 unsigned long efi_get_time(void);
60 unsigned long efi_get_time(void) in efi_get_time() function
146 unsigned long efi_get_time(void) in efi_get_time() function
908 res = efi_get_time(); in get_cmos_time()
Completed in 8 milliseconds