Searched refs:arch_flags (Results 1 – 4 of 4) sorted by relevance
40 uint32_t arch_flags = 0; in mmu_flags_to_l1_arch_flags() local62 arch_flags |= MMU_MEMORY_L1_AP_P_RW_U_NA; in mmu_flags_to_l1_arch_flags()65 arch_flags |= MMU_MEMORY_L1_AP_P_RO_U_NA; in mmu_flags_to_l1_arch_flags()68 arch_flags |= MMU_MEMORY_L1_AP_P_RW_U_RW; in mmu_flags_to_l1_arch_flags()71 arch_flags |= MMU_MEMORY_L1_AP_P_RO_U_RO; in mmu_flags_to_l1_arch_flags()76 arch_flags |= MMU_MEMORY_L1_SECTION_XN; in mmu_flags_to_l1_arch_flags()83 return arch_flags; in mmu_flags_to_l1_arch_flags()88 uint32_t arch_flags = 0; in mmu_flags_to_l2_arch_flags_small_page() local92 arch_flags |= MMU_MEMORY_L2_SHAREABLE; in mmu_flags_to_l2_arch_flags_small_page()96 arch_flags |= MMU_MEMORY_L2_SHAREABLE; in mmu_flags_to_l2_arch_flags_small_page()[all …]
137 uint32_t arch_flags = 0; in arch_mmu_map() local145 arch_flags |= OR1K_MMU_PG_U; in arch_mmu_map()147 arch_flags |= OR1K_MMU_PG_X; in arch_mmu_map()149 arch_flags |= OR1K_MMU_PG_CI; in arch_mmu_map()151 arch_flags |= OR1K_MMU_PG_W; in arch_mmu_map()157 …or1k_kernel_translation_table[l1_index] = (paddr & ~(SECTION_SIZE-1)) | arch_flags | OR1K_MMU_PG_P… in arch_mmu_map()186 or1k_kernel_translation_table[l1_index] = l2_pa | arch_flags | OR1K_MMU_PG_PRESENT; in arch_mmu_map()192 l2_table[l2_index] = paddr | arch_flags | OR1K_MMU_PG_PRESENT | OR1K_MMU_PG_L; in arch_mmu_map()
94 arch_flags_t arch_flags = 0; in get_x86_arch_flags() local97 arch_flags |= X86_MMU_PG_RW; in get_x86_arch_flags()100 arch_flags |= X86_MMU_PG_U; in get_x86_arch_flags()103 arch_flags |= X86_MMU_CACHE_DISABLE; in get_x86_arch_flags()107 arch_flags |= X86_MMU_PG_NX; in get_x86_arch_flags()109 return arch_flags; in get_x86_arch_flags()
145 arch_flags_t arch_flags = 0; in get_x86_arch_flags() local148 arch_flags |= X86_MMU_PG_RW; in get_x86_arch_flags()151 arch_flags |= X86_MMU_PG_U; in get_x86_arch_flags()154 arch_flags |= X86_MMU_CACHE_DISABLE; in get_x86_arch_flags()157 arch_flags |= X86_MMU_PG_NX; in get_x86_arch_flags()159 return arch_flags; in get_x86_arch_flags()
Completed in 8 milliseconds