135 #define my_assert(x)  argument
136 #define assert_map_valid(x)  argument
904 static unsigned int smallest_entry_greater_than_equal(xthal_MPU_entry* fg, unsigned x)  in smallest_entry_greater_than_equal()  argument
908         if (XTHAL_MPU_ENTRY_GET_VSTARTADDR(fg[i]) >= x)  in smallest_entry_greater_than_equal()
915         unsigned x)  in create_aligning_entries_if_required()  argument
922     int preceding_bg_entry_index_x = get_bg_map_index(bg, x);  in create_aligning_entries_if_required()
926         if (XTHAL_MPU_ENTRY_GET_VSTARTADDR(fg[i]) < x)  in create_aligning_entries_if_required()
950         if ((rv = insert_entry_if_needed_with_existing_attr(fg, bg, x, 1)) != XTHAL_SUCCESS)  in create_aligning_entries_if_required()
959             if (XTHAL_MPU_ENTRY_GET_VSTARTADDR(bg[next_bg_entry_index]) > x)  in create_aligning_entries_if_required()
971 …eded_with_existing_attr(fg, bg, XTHAL_MPU_ENTRY_GET_VSTARTADDR(_xthal_get_entry(fg, bg, x, 0)), 0))  in create_aligning_entries_if_required()
985     if (!(x == preceding_bg_entry_x_addr))  in create_aligning_entries_if_required()
1062         unsigned x;  in safe_add_region()  local
1099             x = smallest_entry_greater_than_equal(fg, last);  in safe_add_region()
1100             if (last == x)  in safe_add_region()
1103             else if (last > x)  in safe_add_region()
1119                 pbg = XTHAL_MPU_ENTRY_GET_VSTARTADDR(fg[get_bg_map_index(Xthal_mpu_bgmap, x)]);  in safe_add_region()
1124                 if ((pbg != x) && (pbg > last))  in safe_add_region()
1193 static unsigned int mpu_aligned(unsigned x)  in mpu_aligned()  argument
1195     return !(x & MPU_ALIGNMENT_MASK);  in mpu_aligned()
1198 static unsigned int mpu_align(unsigned int x, unsigned int roundUp)  in mpu_align()  argument
1201         return (x + MPU_ALIGNMENT_MASK) & MPU_ADDRESS_MASK;  in mpu_align()
1203         return (x & MPU_ADDRESS_MASK);  in mpu_align()
1265 static int check_memory_type(unsigned x)  in check_memory_type()  argument
1267     unsigned system_cache_type = _XTHAL_MEM_CACHE_MASK(x);  in check_memory_type()
1268     unsigned processor_cache_type = (((x) & _XTHAL_LOCAL_CACHE_BITS) >> 4);  in check_memory_type()
1277     unsigned device = _XTHAL_MEM_IS_DEVICE(x);  in check_memory_type()
1278     unsigned system_noncacheable = _XTHAL_IS_SYSTEM_NONCACHEABLE(x);  in check_memory_type()
1286         if (system_noncacheable && (x & XTHAL_MEM_INTERRUPTIBLE))  in check_memory_type()
1289             unsigned z = x & XTHAL_MEM_SYSTEM_SHAREABLE;  in check_memory_type()
1296         if ((x & XTHAL_MEM_SYSTEM_SHAREABLE) == XTHAL_MEM_SYSTEM_SHAREABLE)  in check_memory_type()
1298         if ((x & (XTHAL_MEM_BUFFERABLE | XTHAL_MEM_INTERRUPTIBLE)))  in check_memory_type()
1412 int xthal_encode_memory_type(unsigned int x)  in xthal_encode_memory_type()  argument
1420     unsigned memoryFlags = x & MemoryFlagMask;  in xthal_encode_memory_type()
1422         return (x & MemoryTypeMask) >> XTHAL_AR_WIDTH;  in xthal_encode_memory_type()
1463  #define XCHAL_MPU_BGMAP(s,vstart,vend,rights,mtype,x...) XTHAL_MPU_ENTRY(vstart,1,rights,mtype),  argument
1717     unsigned int x;  in mask_cachedis()  local
1718     x = ((1 << (last_region - first_region + 1)) - 1) << first_region;  in mask_cachedis()
1719     current &= ~x;  in mask_cachedis()