ipic_get_mcp_status
extern u32 ipic_get_mcp_status(void);
if (!(regs->msr & SRR1_MCE_MCP) || !(ipic_get_mcp_status() & mask))