PXP_REG_PXP_INT_STS_0
IDLE_CHK_1(0x1F, PXP_REG_PXP_INT_STS_0, (val != 0), IDLE_CHK_WARNING, "PXP: P0 Interrupt status is not 0");
u32_t val = REG_RD(pdev,PXP_REG_PXP_INT_STS_0);