[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <201007301458.50263.bjorn.helgaas@hp.com>
Date: Fri, 30 Jul 2010 14:58:48 -0600
From: Bjorn Helgaas <bjorn.helgaas@...com>
To: Feng Tang <feng.tang@...el.com>
Cc: Matthew Garrett <mjg59@...f.ucam.org>, linux-kernel@...r.kernel.org
Subject: EFI runtime-services on x86_64
Hello Feng,
Can you educate me about your commit 772be899bc, "86: Make EFI RTC
function depend on 32bit again"?
It adds "#ifdef CONFIG_X86_32" to avoid using efi_get_time() and
efi_set_rtc_mmss(), but there's no explanation of *why* those services
only work on 32-bit.
Is this an EFI spec limitation? Do the other EFI runtime services
work on 64-bit, since you didn't touch them? Or do we just not use
any of the others?
Is this something that can be fixed, so we *could* use efi_get_time()
on 64-bit if we did some work? What would need to be done?
Bjorn
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists