Searched refs:WKPU_WISR (Results 1 – 1 of 1) sorted by relevance
21 #define WKPU_WISR(n) (0x14 + 0x40 * (n)) macro65 REG_WRITE(WKPU_WISR(irq / 32U), REG_READ(WKPU_WISR(irq / 32U)) | irq_mask); in wkpu_nxp_s32_interrupt_handler()136 REG_WRITE(WKPU_WISR(reg_idx), REG_READ(WKPU_WISR(reg_idx)) | mask); in wkpu_nxp_s32_enable_interrupt()153 REG_WRITE(WKPU_WISR(reg_idx), REG_READ(WKPU_WISR(reg_idx)) | mask); in wkpu_nxp_s32_disable_interrupt()162 flags = REG_READ(WKPU_WISR(0U)) & REG_READ(WKPU_IRER(0U)); in wkpu_nxp_s32_get_pending()164 flags |= ((uint64_t)(REG_READ(WKPU_WISR(1U)) & REG_READ(WKPU_IRER(1U)))) << 32U; in wkpu_nxp_s32_get_pending()177 REG_WRITE(WKPU_WISR(0U), 0xffffffff); in wkpu_nxp_s32_init()186 REG_WRITE(WKPU_WISR(1U), 0xffffffff); in wkpu_nxp_s32_init()
