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)