Lines Matching refs:l1e
886 l1_pgentry_t l1e, struct domain *l1e_owner, struct domain *pg_owner)
888 unsigned long mfn = l1e_get_pfn(l1e);
890 uint32_t l1f = l1e_get_flags(l1e);
1077 l1e_get_intpte(l1e), l1e_owner->domain_id);
1088 l1e_get_intpte(l1e), l1e_owner->domain_id, pg_owner->domain_id);
1199 void put_page_from_l1e(l1_pgentry_t l1e, struct domain *l1e_owner)
1201 unsigned long pfn = l1e_get_pfn(l1e);
1206 if ( !(l1e_get_flags(l1e) & _PAGE_PRESENT) || is_iomem_page(_mfn(pfn)) )
1225 if ( (l1e_get_flags(l1e) & _PAGE_GNTTAB) &&
1230 l1e_get_intpte(l1e));
1238 if ( (l1e_get_flags(l1e) & _PAGE_RW) &&