write_mmcr0
write_mmcr0(cpuhw, val);
write_mmcr0(cpuhw, mmcr0);
write_mmcr0(cpuhw, cpuhw->mmcr.mmcr0);