Searched refs:pte_flags (Results 1 – 2 of 2) sorted by relevance
39 unsigned int pte_flags = in grant_to_pte_flags() local43 pte_flags |= _PAGE_USER; in grant_to_pte_flags()45 pte_flags |= _PAGE_RW; in grant_to_pte_flags()47 pte_flags |= MASK_INSR((grant_flags >> _GNTMAP_guest_avail0), _PAGE_AVAIL); in grant_to_pte_flags()48 pte_flags |= cacheattr_to_pte_flags(cache_flags >> 5); in grant_to_pte_flags()50 return pte_flags; in grant_to_pte_flags()
291 static uint8_t page_pat_type(uint64_t pat_cr, uint32_t pte_flags) in page_pat_type() argument296 pat_entry = ( pte_flags >> 3 ) & 0x3; in page_pat_type()298 if ( pte_flags & _PAGE_PAT ) in page_pat_type()310 uint32_t pte_flags, in effective_mm_type() argument323 pat_value = page_pat_type(pat, pte_flags); in effective_mm_type()
Completed in 4 milliseconds