Lines Matching refs:prot_pte
247 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_SHARED |
257 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_NONSHARED,
263 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_CACHED,
269 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_WC,
275 .prot_pte = PROT_PTE_DEVICE,
291 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
297 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
303 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
309 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
320 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
327 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
334 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
339 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
347 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
516 hyp_device_pgprot = mem_types[MT_DEVICE].prot_pte; in build_mem_type_table()
563 mem_types[MT_DEVICE_WC].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
565 mem_types[MT_DEVICE_CACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
567 mem_types[MT_MEMORY_RWX].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
569 mem_types[MT_MEMORY_RW].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
570 mem_types[MT_MEMORY_DMA_READY].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
572 mem_types[MT_MEMORY_RWX_NONCACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
599 mem_types[i].prot_pte |= PTE_EXT_AF; in build_mem_type_table()
617 mem_types[MT_LOW_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
618 mem_types[MT_HIGH_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
630 mem_types[MT_MEMORY_RWX].prot_pte |= kern_pgprot; in build_mem_type_table()
632 mem_types[MT_MEMORY_RW].prot_pte |= kern_pgprot; in build_mem_type_table()
633 mem_types[MT_MEMORY_DMA_READY].prot_pte |= kern_pgprot; in build_mem_type_table()
701 set_pte_ext(pte, pfn_pte(pfn, __pgprot(type->prot_pte)), 0); in alloc_init_pte()