Lines Matching refs:prot_pte
248 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_SHARED |
258 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_NONSHARED,
264 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_CACHED,
270 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_WC,
276 .prot_pte = PROT_PTE_DEVICE,
292 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
298 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
304 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
310 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
321 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
328 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
335 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
340 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
348 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
558 hyp_device_pgprot = mem_types[MT_DEVICE].prot_pte; in build_mem_type_table()
605 mem_types[MT_DEVICE_WC].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
607 mem_types[MT_DEVICE_CACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
609 mem_types[MT_MEMORY_RWX].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
611 mem_types[MT_MEMORY_RW].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
612 mem_types[MT_MEMORY_DMA_READY].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
614 mem_types[MT_MEMORY_RWX_NONCACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
641 mem_types[i].prot_pte |= PTE_EXT_AF; in build_mem_type_table()
659 mem_types[MT_LOW_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
660 mem_types[MT_HIGH_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
672 mem_types[MT_MEMORY_RWX].prot_pte |= kern_pgprot; in build_mem_type_table()
674 mem_types[MT_MEMORY_RW].prot_pte |= kern_pgprot; in build_mem_type_table()
675 mem_types[MT_MEMORY_DMA_READY].prot_pte |= kern_pgprot; in build_mem_type_table()
743 set_pte_ext(pte, pfn_pte(pfn, __pgprot(type->prot_pte)), 0); in alloc_init_pte()