IORR_BASE0
rdmsr(IORR_BASE0 + 2 * iorr_addr, base_lo, base_hi);
wrmsr(IORR_BASE0 + 2 * iorr_addr, base_lo, base_hi);