1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <device/mmio.h>
4 #include <intelblocks/ioc.h>
7 void ioc_reg_write32(uint32_t offset
, uint32_t value
)
9 write32p(MCH_BASE_ADDRESS
+ offset
, value
);
12 uint32_t ioc_reg_read32(uint32_t offset
)
14 return read32p(MCH_BASE_ADDRESS
+ offset
);
17 void ioc_reg_or32(uint32_t offset
, uint32_t ordata
)
21 data32
= read32p(MCH_BASE_ADDRESS
+ offset
);
23 write32p(MCH_BASE_ADDRESS
+ offset
, data32
);