set_cmci         1331 arch/ia64/include/asm/pal.h ia64_pal_mc_resume (u64 set_cmci, u64 save_ptr)
set_cmci         1334 arch/ia64/include/asm/pal.h 	PAL_CALL(iprv, PAL_MC_RESUME, set_cmci, save_ptr, 0);