Symbol: efi_time
stand/boot/efi/libefi/time.c
189
tp->tv_sec = efi_time( &EfiTime );
sys/platform/pc64/x86_64/efirt.c
659
SYSCTL_PROC(_debug, OID_AUTO, efi_time, CTLTYPE_INT | CTLFLAG_RW, NULL, 0,