efi_settime
sc->sc_todr.todr_settime = efi_settime;
int efi_settime(struct todr_chip_handle *, struct timeval *);