Searched refs:_guest_asid (Results 1 – 2 of 2) sorted by relevance
417 u32 _guest_asid; /* offset 0x58 - cleanbit 2 */ member
711 if ( svm->ns_guest_asid != ns_vmcb->_guest_asid ) in nsvm_vcpu_vmentry()715 svm->ns_guest_asid = ns_vmcb->_guest_asid; in nsvm_vcpu_vmentry()
Completed in 7 milliseconds