ICH_LRN
u64 lr = __vcpu_sys_reg(vcpu, ICH_LRN(i));
lr = __vcpu_sys_reg(vcpu, ICH_LRN(i));
__vcpu_assign_sys_reg(vcpu, ICH_LRN(i), val);