phys_tc 702 arch/x86/platform/efi/efi_64.c u32 phys_tm, phys_tc; phys_tc 709 arch/x86/platform/efi/efi_64.c phys_tc = virt_to_phys_or_null(tc); phys_tc 711 arch/x86/platform/efi/efi_64.c status = efi_thunk(get_time, phys_tm, phys_tc);