Lines Matching defs:reg_val
39 u64 reg_val;
41 rdmsrl(HV_X64_MSR_ICR, reg_val);
42 return reg_val;
47 u64 reg_val;
49 reg_val = SET_XAPIC_DEST_FIELD(id);
50 reg_val = reg_val << 32;
51 reg_val |= low;
53 wrmsrl(HV_X64_MSR_ICR, reg_val);
58 u32 reg_val, hi;
62 rdmsr(HV_X64_MSR_EOI, reg_val, hi);
64 return reg_val;
66 rdmsr(HV_X64_MSR_TPR, reg_val, hi);
68 return reg_val;