Symbol: efi_time_fini
usr/src/boot/efi/libefi/time.c
102
efi_time_fini(void)
usr/src/boot/efi/libefi/time_event.c
57
efi_time_fini(void)