Lines Matching defs:regval
1817 vmx_set_guest_reg(struct vmx_vcpu *vcpu, int ident, uint64_t regval)
1825 vmxctx->guest_rax = regval;
1828 vmxctx->guest_rcx = regval;
1831 vmxctx->guest_rdx = regval;
1834 vmxctx->guest_rbx = regval;
1837 vmcs_write(VMCS_GUEST_RSP, regval);
1840 vmxctx->guest_rbp = regval;
1843 vmxctx->guest_rsi = regval;
1846 vmxctx->guest_rdi = regval;
1849 vmxctx->guest_r8 = regval;
1852 vmxctx->guest_r9 = regval;
1855 vmxctx->guest_r10 = regval;
1858 vmxctx->guest_r11 = regval;
1861 vmxctx->guest_r12 = regval;
1864 vmxctx->guest_r13 = regval;
1867 vmxctx->guest_r14 = regval;
1870 vmxctx->guest_r15 = regval;
1880 uint64_t crval, regval;
1886 regval = vmx_get_guest_reg(vcpu, (exitqual >> 8) & 0xf);
1888 vmcs_write(VMCS_CR0_SHADOW, regval);
1890 crval = regval | cr0_ones_mask;
1894 if (regval & CR0_PG) {
1918 uint64_t crval, regval;
1924 regval = vmx_get_guest_reg(vcpu, (exitqual >> 8) & 0xf);
1926 vmcs_write(VMCS_CR4_SHADOW, regval);
1928 crval = regval | cr4_ones_mask;