EFI_GET_TIME      190 drivers/firmware/efi/runtime-wrappers.c 	case EFI_GET_TIME:
EFI_GET_TIME      257 drivers/firmware/efi/runtime-wrappers.c 	status = efi_queue_work(EFI_GET_TIME, tm, tc, NULL, NULL, NULL);