Searched refs:vmcs_encoding (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vmcs.c | 1000 u64 virtual_vmcs_vmread(const struct vcpu *v, u32 vmcs_encoding) in virtual_vmcs_vmread() argument
1005 __vmread(vmcs_encoding, &res); in virtual_vmcs_vmread()
1012 u32 vmcs_encoding, u64 *val) in virtual_vmcs_vmread_safe() argument
1017 ret = vmread_safe(vmcs_encoding, val); in virtual_vmcs_vmread_safe()
1023 void virtual_vmcs_vmwrite(const struct vcpu *v, u32 vmcs_encoding, u64 val) in virtual_vmcs_vmwrite() argument
1026 __vmwrite(vmcs_encoding, val); in virtual_vmcs_vmwrite()
1031 u32 vmcs_encoding, u64 val) in virtual_vmcs_vmwrite_safe() argument
1036 ret = vmwrite_safe(vmcs_encoding, val); in virtual_vmcs_vmwrite_safe()
|
| A D | vvmx.c | 256 uint64_t get_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding) in get_vvmcs_virtual() argument
258 union vmcs_encoding enc; in get_vvmcs_virtual()
263 enc.word = vmcs_encoding; in get_vvmcs_virtual()
310 void set_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding, uint64_t val) in set_vvmcs_virtual() argument
312 union vmcs_encoding enc; in set_vvmcs_virtual()
317 enc.word = vmcs_encoding; in set_vvmcs_virtual()
1980 u64 vmcs_encoding; in nvmx_handle_vmwrite() local
1994 vmcs_encoding = reg_read(regs, decode.reg2); in nvmx_handle_vmwrite()
1995 err = set_vvmcs_safe(v, vmcs_encoding, operand); in nvmx_handle_vmwrite()
2002 switch ( vmcs_encoding & ~VMCS_HIGH(0) ) in nvmx_handle_vmwrite()
|
| /xen/xen/include/asm-x86/hvm/vmx/ |
| A D | vmcs.h | 657 u32 vmcs_encoding, u64 *val);
660 u32 vmcs_encoding, u64 val);
|
| A D | vvmx.h | 132 union vmcs_encoding { union
|
Completed in 24 milliseconds