Home
last modified time | relevance | path

Searched refs:vmcs_field (Results 1 – 2 of 2) sorted by relevance

/hypervisor/include/arch/x86/asm/guest/
A Dvmcs.h44 static inline void clear_vmcs_bit(uint32_t vmcs_field, uint64_t bit) in clear_vmcs_bit() argument
48 val64 = exec_vmread(vmcs_field); in clear_vmcs_bit()
50 exec_vmwrite(vmcs_field, val64); in clear_vmcs_bit()
53 static inline void set_vmcs_bit(uint32_t vmcs_field, uint64_t bit) in set_vmcs_bit() argument
57 val64 = exec_vmread(vmcs_field); in set_vmcs_bit()
59 exec_vmwrite(vmcs_field, val64); in set_vmcs_bit()
/hypervisor/arch/x86/guest/
A Dnested.c455 uint16_t group_idx = (VMX_VMCS_FIELD_WIDTH(vmcs_field) << 2U) | VMX_VMCS_FIELD_TYPE(vmcs_field); in vmcs_field_to_vmcs12_offset()
472 VMX_VMCS_FIELD_ACCESS_HIGH(vmcs_field)); in vmcs_field_to_vmcs12_offset()
894 uint32_t vmcs_field; in vmread_vmexit_handler() local
929 uint32_t vmcs_field; in vmwrite_vmexit_handler() local
938 if (is_ro_vmcs_field(vmcs_field) && in vmwrite_vmexit_handler()
954 if ((vmcs_field == VMX_MSR_BITMAP_FULL) in vmwrite_vmexit_handler()
955 || (vmcs_field == VMX_EPT_POINTER_FULL) in vmwrite_vmexit_handler()
956 || (vmcs_field == VMX_VPID) in vmwrite_vmexit_handler()
957 || (vmcs_field == VMX_ENTRY_CONTROLS) in vmwrite_vmexit_handler()
958 || (vmcs_field == VMX_EXIT_CONTROLS)) { in vmwrite_vmexit_handler()
[all …]

Completed in 5 milliseconds