arml2cc_read_4
uint32_t id = arml2cc_read_4(sc, L2C_CACHE_ID);
const bool enabled_p = arml2cc_read_4(sc, L2C_CTL) != 0;
arml2cc_read_4(sc, L2C_CTL) ? "enabled" : "disabled");
arml2cc_read_4(sc, L2C_CTL) ? "enabled" : "disabled");
while (arml2cc_read_4(sc, off) & 1) {
while (arml2cc_read_4(sc, off) & way_mask) {