Searched defs:efi_time_fini (Results 1 – 2 of 2) sorted by relevance
57 efi_time_fini(void) in efi_time_fini() function
102 efi_time_fini(void) in efi_time_fini() function