Searched defs:vvmcs (Results 1 – 1 of 1) sorted by relevance
256 uint64_t get_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding) in get_vvmcs_virtual()291 enum vmx_insn_errno get_vvmcs_virtual_safe(void *vvmcs, u32 encoding, u64 *val) in get_vvmcs_virtual_safe()310 void set_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding, uint64_t val) in set_vvmcs_virtual()351 enum vmx_insn_errno set_vvmcs_virtual_safe(void *vvmcs, u32 encoding, u64 val) in set_vvmcs_virtual_safe()1171 static void nvmx_set_vmcs_pointer(struct vcpu *v, struct vmcs_struct *vvmcs) in nvmx_set_vmcs_pointer()1186 static void nvmx_clear_vmcs_pointer(struct vcpu *v, struct vmcs_struct *vvmcs) in nvmx_clear_vmcs_pointer()1607 struct vvmcs_list *vvmcs; in vvmcs_launched() local1627 struct vvmcs_list *vvmcs; in set_vvmcs_launched() local1645 struct vvmcs_list *vvmcs; in clear_vvmcs_launched() local1805 struct vmcs_struct *vvmcs = vvmcx; in nvmx_handle_vmptrld() local[all …]
Completed in 8 milliseconds