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 |
562 	hyp_device_pgprot = mem_types[MT_DEVICE].prot_pte;  in build_mem_type_table()
609 			mem_types[MT_DEVICE_WC].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
611 			mem_types[MT_DEVICE_CACHED].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
613 			mem_types[MT_MEMORY_RWX].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
615 			mem_types[MT_MEMORY_RW].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
616 			mem_types[MT_MEMORY_DMA_READY].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
618 			mem_types[MT_MEMORY_RWX_NONCACHED].prot_pte |= L_PTE_SHARED;  in build_mem_type_table()
645 		mem_types[i].prot_pte |= PTE_EXT_AF;  in build_mem_type_table()
663 	mem_types[MT_LOW_VECTORS].prot_pte |= vecs_pgprot;  in build_mem_type_table()
664 	mem_types[MT_HIGH_VECTORS].prot_pte |= vecs_pgprot;  in build_mem_type_table()
676 	mem_types[MT_MEMORY_RWX].prot_pte |= kern_pgprot;  in build_mem_type_table()
678 	mem_types[MT_MEMORY_RW].prot_pte |= kern_pgprot;  in build_mem_type_table()
679 	mem_types[MT_MEMORY_DMA_READY].prot_pte |= kern_pgprot;  in build_mem_type_table()
765 		set_pte_ext(pte, pfn_pte(pfn, __pgprot(type->prot_pte)),  in alloc_init_pte()