sal_pmi_entry_addr 1401 arch/ia64/include/asm/pal.h ia64_pal_pmi_entrypoint (u64 sal_pmi_entry_addr)
sal_pmi_entry_addr 1404 arch/ia64/include/asm/pal.h 	PAL_CALL(iprv, PAL_PMI_ENTRYPOINT, sal_pmi_entry_addr, 0, 0);