Searched refs:guest_cr4 (Results 1 – 3 of 3) sorted by relevance
742 unsigned long pv_guest_cr4_fixup(const struct vcpu *v, unsigned long guest_cr4) in pv_guest_cr4_fixup() argument747 if ( (guest_cr4 & mask) != (hv_cr4 & mask) ) in pv_guest_cr4_fixup()750 current->domain->domain_id, v, hv_cr4, guest_cr4); in pv_guest_cr4_fixup()752 return (hv_cr4 & mask) | (guest_cr4 & ~mask); in pv_guest_cr4_fixup()
610 unsigned long pv_guest_cr4_fixup(const struct vcpu *, unsigned long guest_cr4);
2520 u64 guest_cr4 = get_vvmcs(v, GUEST_CR4); in nvmx_n2_vmexit_handler() local2523 (guest_cr4 & cr4_gh_mask) | (val & ~cr4_gh_mask)); in nvmx_n2_vmexit_handler()
Completed in 12 milliseconds