Lines Matching refs:pfec
2681 uint32_t pfec;
2696 pfec = PFEC_page_present;
2697 gfn = paging_gva_to_gfn(current, va, &pfec);
2698 if ( pfec & (PFEC_page_paged | PFEC_page_shared) )
3118 struct vcpu *v, unsigned long addr, bool linear, uint32_t pfec,
3128 gfn = _gfn(paging_gva_to_gfn(v, addr, &pfec));
3132 if ( pfec & PFEC_page_paged )
3135 if ( pfec & PFEC_page_shared )
3141 pfinfo->ec = pfec & ~PFEC_implicit;
3200 uint32_t pfec, pagefault_info_t *pfinfo)
3234 pfec, pfinfo, &page, &gfn, &p2mt);
3292 unsigned long addr, void *buf, int size, uint32_t pfec,
3297 PFEC_page_present | PFEC_write_access | pfec, pfinfo);
3301 void *buf, unsigned long addr, int size, uint32_t pfec,
3306 PFEC_page_present | pfec, pfinfo);
3310 void *buf, unsigned long addr, int size, uint32_t pfec,
3315 PFEC_page_present | PFEC_insn_fetch | pfec, pfinfo);