/* Use Zephyr system API to implement reg32(addr) = (reg32(addr) & ~mask) | (val & mask)  */
static void xec_mask_write32(uintptr_t addr, uint32_t mask, uint32_t val)
/* Use Zephyr system API to implement reg32(addr) = (reg32(addr) & ~mask) | (val & mask)  */
static void xec_mask_write32(uintptr_t addr, uint32_t mask, uint32_t val)
{
	uint32_t r = (sys_read32(addr) & ~mask) | (val & mask);
	sys_write32(r, addr);
}