Lines Matching defs:val
52 emulate_wrmsr(struct vmctx *ctx, int vcpu, uint32_t num, uint64_t val)
106 emulate_rdmsr(struct vmctx *ctx, int vcpu, uint32_t num, uint64_t *val)
118 *val = 0;
125 *val = 0x000a1003;
134 *val = 0;
141 *val = 0x01000010; /* Reset value */
142 *val |= 1 << 9; /* MONITOR/MWAIT disable */
152 *val = 0;
163 *val = 0;
174 *val = 0;
183 *val = 0;
190 *val = 0;
199 *val = 1;