PAL_CALL_STK     1153 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_HALT_INFO, (unsigned long) power_buf, 0, 0);
PAL_CALL_STK     1162 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_GET_PSTATE, type, 0, 0);
PAL_CALL_STK     1172 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_SET_PSTATE, pstate_index, 0, 0);
PAL_CALL_STK     1181 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_BRAND_INFO, 0, (u64)brand_info, 0);
PAL_CALL_STK     1267 arch/ia64/include/asm/pal.h 	PAL_CALL_STK(iprv, PAL_MC_ERROR_INJECT, err_type_info,