Symbol: efi_gettime
sys/arch/arm64/dev/efi_machdep.c
165
sc->sc_todr.todr_gettime = efi_gettime;
sys/arch/arm64/dev/efi_machdep.c
60
int efi_gettime(struct todr_chip_handle *, struct timeval *);