Symbol: efi_settime
sys/arch/arm64/dev/efi_machdep.c
166
sc->sc_todr.todr_settime = efi_settime;
sys/arch/arm64/dev/efi_machdep.c
61
int efi_settime(struct todr_chip_handle *, struct timeval *);