Lines Matching refs:pfec
43 struct vcpu *v, struct p2m_domain *p2m, unsigned long gva, uint32_t *pfec) in hap_gva_to_gfn()
46 return hap_p2m_ga_to_gfn(GUEST_PAGING_LEVELS)(v, p2m, cr3, gva, pfec, NULL); in hap_gva_to_gfn()
51 paddr_t ga, uint32_t *pfec, unsigned int *page_order) in hap_p2m_ga_to_gfn()
68 *pfec = PFEC_page_paged; in hap_p2m_ga_to_gfn()
76 *pfec = PFEC_page_shared; in hap_p2m_ga_to_gfn()
83 *pfec &= ~PFEC_page_present; in hap_p2m_ga_to_gfn()
94 walk_ok = guest_walk_tables(v, p2m, ga, &gw, *pfec, top_mfn, top_map); in hap_p2m_ga_to_gfn()
111 *pfec = PFEC_page_paged; in hap_p2m_ga_to_gfn()
117 *pfec = PFEC_page_shared; in hap_p2m_ga_to_gfn()
127 *pfec = gw.pfec; in hap_p2m_ga_to_gfn()
135 *pfec &= ~PFEC_insn_fetch; in hap_p2m_ga_to_gfn()