Searched refs:val64 (Results 1 – 8 of 8) sorted by relevance
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vmcs.h | 46 uint64_t val64; in clear_vmcs_bit() local 48 val64 = exec_vmread(vmcs_field); in clear_vmcs_bit() 49 val64 &= ~bit; in clear_vmcs_bit() 50 exec_vmwrite(vmcs_field, val64); in clear_vmcs_bit() 55 uint64_t val64; in set_vmcs_bit() local 57 val64 = exec_vmread(vmcs_field); in set_vmcs_bit() 58 val64 |= bit; in set_vmcs_bit() 59 exec_vmwrite(vmcs_field, val64); in set_vmcs_bit()
|
| A D | hyperv.h | 23 uint64_t val64; member 32 uint64_t val64; member 42 uint64_t val64; member
|
| /hypervisor/arch/x86/guest/ |
| A D | nested.c | 74 return val64.full; in adjust_vmx_ctrls() 82 union value_64 val64; in init_vmx_msrs() local 101 val64.u.hi_32 = 0U; in init_vmx_msrs() 482 uint64_t val64 = 0UL; in vmcs12_read_field() local 495 val64 = *ptr; in vmcs12_read_field() 500 val64 = *ptr; in vmcs12_read_field() 504 return val64; in vmcs12_read_field() 525 *ptr = val64; in vmcs12_write_field() 530 *ptr = val64; in vmcs12_write_field() 987 uint64_t val64; in sync_vmcs02_to_vmcs12() local [all …]
|
| A D | hyperv.c | 71 ref_tsc_page->val64 = val; in hyperv_setup_tsc_page() 131 hypercall.val64 = val; in hyperv_setup_hypercall_page() 156 vcpu->vm->arch_vm.hyperv.guest_os_id.val64 = wval; in hyperv_wrmsr() 162 if (vcpu->vm->arch_vm.hyperv.guest_os_id.val64 == 0UL) { in hyperv_wrmsr() 166 vcpu->vm->arch_vm.hyperv.hypercall_page.val64 = wval; in hyperv_wrmsr() 197 *rval = vcpu->vm->arch_vm.hyperv.guest_os_id.val64; in hyperv_rdmsr() 200 *rval = vcpu->vm->arch_vm.hyperv.hypercall_page.val64; in hyperv_rdmsr() 209 *rval = vcpu->vm->arch_vm.hyperv.ref_tsc_page.val64; in hyperv_rdmsr() 319 vm->arch_vm.hyperv.guest_os_id.val64 = 0UL; in hyperv_page_destory()
|
| A D | vmexit.c | 396 uint64_t val64; in xsetbv_vmexit_handler() local 407 val64 = (vcpu_get_gpreg(vcpu, CPU_REG_RAX) & 0xffffffffUL) | in xsetbv_vmexit_handler() 411 if (((val64 & 0x01UL) != 0UL) && ((val64 & XCR0_RESERVED_BITS) == 0UL)) { in xsetbv_vmexit_handler() 417 if ((val64 & (XCR0_SSE | XCR0_AVX)) != XCR0_AVX) { in xsetbv_vmexit_handler() 422 if ((val64 & (XCR0_BNDREGS | XCR0_BNDCSR)) == 0UL) { in xsetbv_vmexit_handler() 423 write_xcr(0, val64); in xsetbv_vmexit_handler()
|
| A D | vmsr.c | 420 uint64_t val64 = 0UL; in init_emulated_msrs() local 425 val64 |= MSR_IA32_FEATURE_CONTROL_VMX_NO_SMX; in init_emulated_msrs() 428 val64 |= MSR_IA32_FEATURE_CONTROL_LOCK; in init_emulated_msrs() 430 val64 |= MSR_IA32_FEATURE_CONTROL_SGX_GE; in init_emulated_msrs() 433 vcpu_set_guest_msr(vcpu, MSR_IA32_FEATURE_CONTROL, val64); in init_emulated_msrs()
|
| /hypervisor/arch/x86/ |
| A D | cpu.c | 568 uint64_t val64; in init_pcpu_xsave() local 574 CPU_CR_READ(cr4, &val64); in init_pcpu_xsave() 575 val64 |= CR4_OSXSAVE; in init_pcpu_xsave() 576 CPU_CR_WRITE(cr4, val64); in init_pcpu_xsave() 612 uint64_t val64; in init_keylocker() local 616 CPU_CR_READ(cr4, &val64); in init_keylocker() 617 val64 |= CR4_KL; in init_keylocker() 618 CPU_CR_WRITE(cr4, val64); in init_keylocker()
|
| A D | mmu.c | 180 uint64_t val64 = 0UL; in enable_smep() local 183 CPU_CR_READ(cr4, &val64); in enable_smep() 184 CPU_CR_WRITE(cr4, val64 | CR4_SMEP); in enable_smep() 189 uint64_t val64 = 0UL; in enable_smap() local 192 CPU_CR_READ(cr4, &val64); in enable_smap() 193 CPU_CR_WRITE(cr4, val64 | CR4_SMAP); in enable_smap()
|
Completed in 688 milliseconds