Searched refs:value64 (Results 1 – 5 of 5) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | vmcs.c | 89 uint64_t value64; in init_host_state() local
168 value64 = msr_read(MSR_IA32_PAT); in init_host_state()
172 value64 = msr_read(MSR_IA32_EFER); in init_host_state()
175 value64); in init_host_state()
204 value64 = (uint64_t)&vm_exit; in init_host_state()
205 pr_dbg("HOST RIP on VMExit %016lx ", value64); in init_host_state()
206 exec_vmwrite(VMX_HOST_RIP, value64); in init_host_state()
265 uint64_t value64; in init_exec_ctrl() local
384 value64 = vlapic_apicv_get_apic_access_addr(); in init_exec_ctrl()
447 value64 = hva2hpa(vm->arch_vm.io_bitmap); in init_exec_ctrl()
[all …]
|
| A D | nested.c | 1002 uint64_t value64; in merge_and_sync_control_fields() local
1010 value64 = vmcs12->vm_entry_controls; in merge_and_sync_control_fields()
1011 if ((value64 & VMX_ENTRY_CTLS_LOAD_EFER) != VMX_ENTRY_CTLS_LOAD_EFER) { in merge_and_sync_control_fields()
1016 value64 |= VMX_ENTRY_CTLS_LOAD_EFER; in merge_and_sync_control_fields()
1020 exec_vmwrite(VMX_ENTRY_CONTROLS, value64); in merge_and_sync_control_fields()
1023 value64 = vmcs12->vm_exit_controls | VMX_EXIT_CTLS_HOST_ADDR64; in merge_and_sync_control_fields()
1024 exec_vmwrite(VMX_EXIT_CONTROLS, value64); in merge_and_sync_control_fields()
|
| A D | vmsr.c | 521 uint64_t value64; in init_msr_emulation() local
554 value64 = hva2hpa(vcpu->arch.msr_bitmap); in init_msr_emulation()
555 exec_vmwrite64(VMX_MSR_BITMAP_FULL, value64); in init_msr_emulation()
556 pr_dbg("VMX_MSR_BITMAP: 0x%016lx ", value64); in init_msr_emulation()
|
| /hypervisor/include/arch/x86/asm/ |
| A D | cpu.h | 709 static inline void msr_write(uint32_t reg_num, uint64_t value64) in msr_write() argument
711 cpu_msr_write(reg_num, value64); in msr_write()
714 static inline int32_t msr_write_safe(uint32_t reg_num, uint64_t value64, uint64_t rsvd) in msr_write_safe() argument
718 if ((value64 & rsvd) == 0) { in msr_write_safe()
719 msr_write(reg_num, value64); in msr_write_safe()
733 void msr_write_pcpu(uint32_t msr_index, uint64_t value64, uint16_t pcpu_id);
|
| /hypervisor/arch/x86/ |
| A D | cpu.c | 629 void msr_write_pcpu(uint32_t msr_index, uint64_t value64, uint16_t pcpu_id) in msr_write_pcpu() argument
635 msr_write(msr_index, value64); in msr_write_pcpu()
638 msr.write_val = value64; in msr_write_pcpu()
|
Completed in 12 milliseconds