STUB_RESET_SYSTEM  228 arch/ia64/kernel/efi.c STUB_RESET_SYSTEM(phys, phys_ptr)
STUB_RESET_SYSTEM  240 arch/ia64/kernel/efi.c STUB_RESET_SYSTEM(virt, id)