IORR_MASK0
rdmsr(IORR_MASK0 + 2 * iorr_addr, mask_lo, mask_hi);
wrmsr(IORR_MASK0 + 2 * iorr_addr, mask_lo, mask_hi);