Searched defs:efi_timer_cleanup (Results 1 – 3 of 3) sorted by relevance
710 efi_timer_cleanup(void) in efi_timer_cleanup() function
738 efi_timer_cleanup(void) in efi_timer_cleanup() function
808 efi_timer_cleanup(void) efi_timer_cleanup() function