EFI_SET_TIME      194 drivers/firmware/efi/runtime-wrappers.c 	case EFI_SET_TIME:
EFI_SET_TIME      268 drivers/firmware/efi/runtime-wrappers.c 	status = efi_queue_work(EFI_SET_TIME, tm, NULL, NULL, NULL, NULL);