Lines Matching refs:prot_pte
250 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_SHARED |
260 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_NONSHARED,
266 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_CACHED,
272 .prot_pte = PROT_PTE_DEVICE | L_PTE_MT_DEV_WC,
278 .prot_pte = PROT_PTE_DEVICE,
294 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
300 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
306 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
312 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
323 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
330 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
337 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY,
342 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
350 .prot_pte = L_PTE_PRESENT | L_PTE_YOUNG | L_PTE_DIRTY |
565 hyp_device_pgprot = mem_types[MT_DEVICE].prot_pte; in build_mem_type_table()
612 mem_types[MT_DEVICE_WC].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
614 mem_types[MT_DEVICE_CACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
616 mem_types[MT_MEMORY_RWX].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
618 mem_types[MT_MEMORY_RW].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
619 mem_types[MT_MEMORY_DMA_READY].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
621 mem_types[MT_MEMORY_RWX_NONCACHED].prot_pte |= L_PTE_SHARED; in build_mem_type_table()
648 mem_types[i].prot_pte |= PTE_EXT_AF; in build_mem_type_table()
666 mem_types[MT_LOW_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
667 mem_types[MT_HIGH_VECTORS].prot_pte |= vecs_pgprot; in build_mem_type_table()
679 mem_types[MT_MEMORY_RWX].prot_pte |= kern_pgprot; in build_mem_type_table()
681 mem_types[MT_MEMORY_RW].prot_pte |= kern_pgprot; in build_mem_type_table()
682 mem_types[MT_MEMORY_DMA_READY].prot_pte |= kern_pgprot; in build_mem_type_table()
769 set_pte_ext(pte, pfn_pte(pfn, __pgprot(type->prot_pte)), in alloc_init_pte()