34 #define REG_READ(r)     sys_read32(config->base + (r))  macro
65 		REG_WRITE(WKPU_WISR(irq / 32U), REG_READ(WKPU_WISR(irq / 32U)) | irq_mask);  in wkpu_nxp_s32_interrupt_handler()
119 	reg_val = REG_READ(WKPU_WIREER(reg_idx));  in wkpu_nxp_s32_enable_interrupt()
127 	reg_val = REG_READ(WKPU_WIFEER(reg_idx));  in wkpu_nxp_s32_enable_interrupt()
136 	REG_WRITE(WKPU_WISR(reg_idx), REG_READ(WKPU_WISR(reg_idx)) | mask);  in wkpu_nxp_s32_enable_interrupt()
137 	REG_WRITE(WKPU_IRER(reg_idx), REG_READ(WKPU_IRER(reg_idx)) | mask);  in wkpu_nxp_s32_enable_interrupt()
149 	REG_WRITE(WKPU_WIREER(reg_idx), REG_READ(WKPU_WIREER(reg_idx)) & ~mask);  in wkpu_nxp_s32_disable_interrupt()
150 	REG_WRITE(WKPU_WIFEER(reg_idx), REG_READ(WKPU_WIFEER(reg_idx)) & ~mask);  in wkpu_nxp_s32_disable_interrupt()
153 	REG_WRITE(WKPU_WISR(reg_idx), REG_READ(WKPU_WISR(reg_idx)) | mask);  in wkpu_nxp_s32_disable_interrupt()
154 	REG_WRITE(WKPU_IRER(reg_idx), REG_READ(WKPU_IRER(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()