/* Wait for PXP controller IRQ interrupt inside timeout time.  */
static void pxp_proc_timeout(int time)
/* Wait for PXP controller IRQ interrupt inside timeout time.  */
static void pxp_proc_timeout(int time)
{
    while (HW_PXP_STAT.B.IRQ == 0) {
        time--;
        if (time == 0)
            break;
    };
    HW_PXP_STAT.B.IRQ = 0;
}