Searched defs:efi_time_fini (Results 1 – 3 of 3) sorted by relevance
49 efi_time_fini(void) in efi_time_fini() function
55 efi_time_fini(void) in efi_time_fini() function
100 efi_time_fini(void) in efi_time_fini() function