STUB_GET_WAKEUP_TIME  222 arch/ia64/kernel/efi.c STUB_GET_WAKEUP_TIME(phys, phys_ptr)
STUB_GET_WAKEUP_TIME  234 arch/ia64/kernel/efi.c STUB_GET_WAKEUP_TIME(virt, id)