Lines Matching refs:pfec
1975 uint32_t *pfec) in paging_gva_to_gfn() argument
1992 l2_gfn = mode->gva_to_gfn(v, p2m, va, pfec); in paging_gva_to_gfn()
2000 !!(*pfec & PFEC_write_access), in paging_gva_to_gfn()
2001 !!(*pfec & PFEC_insn_fetch)); in paging_gva_to_gfn()
2016 return hostmode->gva_to_gfn(v, hostp2m, va, pfec); in paging_gva_to_gfn()
2025 p2m_type_t *p2mt, p2m_query_t q, uint32_t *pfec) in map_domain_gfn() argument
2031 *pfec = PFEC_reserved_bit | PFEC_page_present; in map_domain_gfn()
2043 *pfec = PFEC_page_paged; in map_domain_gfn()
2050 *pfec = PFEC_page_shared; in map_domain_gfn()
2055 *pfec = 0; in map_domain_gfn()
2059 *pfec = PFEC_page_present; in map_domain_gfn()