mmTPC0_CFG_ICACHE_BASE_ADDERESS_HIGH
WREG32(mmTPC0_CFG_ICACHE_BASE_ADDERESS_HIGH + offset,
mask |= 1U << ((mmTPC0_CFG_ICACHE_BASE_ADDERESS_HIGH & 0x7F) >> 2);