efi_call_virt2 80 arch/x86/kernel/efi.c return efi_call_virt2(get_time, tm, tc); efi_call_virt2 98 arch/x86/kernel/efi.c return efi_call_virt2(set_wakeup_time,