efi_call_virt1     85 arch/x86/kernel/efi.c 	return efi_call_virt1(set_time, tm);
efi_call_virt1    134 arch/x86/kernel/efi.c 	return efi_call_virt1(get_next_high_mono_count, count);