STUB_SET_WAKEUP_TIME  223 arch/ia64/kernel/efi.c STUB_SET_WAKEUP_TIME(phys, phys_ptr)
STUB_SET_WAKEUP_TIME  235 arch/ia64/kernel/efi.c STUB_SET_WAKEUP_TIME(virt, id)