Searched refs:asid (Results 1 – 12 of 12) sorted by relevance
83 void hvm_asid_flush_vcpu_asid(struct hvm_vcpu_asid *asid) in hvm_asid_flush_vcpu_asid() argument85 asid->generation = 0; in hvm_asid_flush_vcpu_asid()113 bool_t hvm_asid_handle_vmenter(struct hvm_vcpu_asid *asid) in hvm_asid_handle_vmenter() argument123 if ( asid->generation == data->core_asid_generation ) in hvm_asid_handle_vmenter()136 asid->asid = data->next_asid++; in hvm_asid_handle_vmenter()137 asid->generation = data->core_asid_generation; in hvm_asid_handle_vmenter()143 return (asid->asid == 1); in hvm_asid_handle_vmenter()146 asid->asid = 0; in hvm_asid_handle_vmenter()
4 obj-y += asid.o
50 if ( p_asid->asid == 0 ) in svm_asid_handle_vmrun()57 if (vmcb_get_guest_asid(vmcb) != p_asid->asid) in svm_asid_handle_vmrun()58 vmcb_set_guest_asid(vmcb, p_asid->asid); in svm_asid_handle_vmrun()
1 obj-y += asid.o
2364 struct vcpu *v, unsigned long vaddr, uint32_t asid) in svm_invlpga_intercept() argument2367 (asid == 0) in svm_invlpga_intercept()2368 ? v->arch.hvm_vcpu.n1asid.asid in svm_invlpga_intercept()2369 : vcpu_nestedhvm(v).nv_n2asid.asid); in svm_invlpga_intercept()
30 void hvm_asid_flush_vcpu_asid(struct hvm_vcpu_asid *asid);40 bool_t hvm_asid_handle_vmenter(struct hvm_vcpu_asid *asid);
41 uint32_t asid; member
43 static inline void svm_invlpga(unsigned long vaddr, uint32_t asid) in svm_invlpga() argument49 "a" (vaddr), "c" (asid)); in svm_invlpga()
376 uint32_t asid: 1; member571 VMCB_ACCESSORS(guest_asid, asid)
548 __invvpid(type, v->arch.hvm_vcpu.n1asid.asid, (u64)gva); in vpid_sync_vcpu_gva()
4244 old_asid = p_asid->asid; in vmx_vmenter_helper()4246 new_asid = p_asid->asid; in vmx_vmenter_helper()
185 ### asid subsection
Completed in 29 milliseconds