@@ -57,7 +57,7 @@ static inline void _region_init(u32_t index, u32_t region_addr, u32_t size,
5757 * This internal function is utilized by the MPU driver to parse the intent
5858 * type (i.e. THREAD_STACK_REGION) and return the correct region index.
5959 */
60- static inline int _get_region_index_by_type (u32_t type )
60+ static inline int get_region_index_by_type (u32_t type )
6161{
6262 /*
6363 * The new MPU regions are allocated per type after the statically
@@ -71,21 +71,21 @@ static inline int _get_region_index_by_type(u32_t type)
7171 */
7272 switch (type ) {
7373 case THREAD_STACK_USER_REGION :
74- return _get_num_regions () - mpu_config .num_regions
74+ return get_num_regions () - mpu_config .num_regions
7575 - THREAD_STACK_REGION ;
7676 case THREAD_STACK_REGION :
7777 case THREAD_APP_DATA_REGION :
7878 case THREAD_STACK_GUARD_REGION :
79- return _get_num_regions () - mpu_config .num_regions - type ;
79+ return get_num_regions () - mpu_config .num_regions - type ;
8080 case THREAD_DOMAIN_PARTITION_REGION :
8181#if defined(CONFIG_MPU_STACK_GUARD )
82- return _get_num_regions () - mpu_config .num_regions - type ;
82+ return get_num_regions () - mpu_config .num_regions - type ;
8383#else
8484 /*
8585 * Start domain partition region from stack guard region
8686 * since stack guard is not enabled.
8787 */
88- return _get_num_regions () - mpu_config .num_regions - type + 1 ;
88+ return get_num_regions () - mpu_config .num_regions - type + 1 ;
8989#endif
9090 default :
9191 __ASSERT (0 , "Unsupported type" );
@@ -154,8 +154,8 @@ static inline bool _is_user_accessible_region(u32_t r_index, int write)
154154 */
155155static inline int _mpu_configure (u8_t type , u32_t base , u32_t size )
156156{
157- s32_t region_index = _get_region_index_by_type (type );
158- u32_t region_attr = _get_region_attr_by_type (type );
157+ s32_t region_index = get_region_index_by_type (type );
158+ u32_t region_attr = get_region_attr_by_type (type );
159159
160160 LOG_DBG ("Region info: 0x%x 0x%x" , base , size );
161161
@@ -283,7 +283,7 @@ void arc_core_mpu_default(u32_t region_attr)
283283int arc_core_mpu_region (u32_t index , u32_t base , u32_t size ,
284284 u32_t region_attr )
285285{
286- if (index >= _get_num_regions ()) {
286+ if (index >= get_num_regions ()) {
287287 return - EINVAL ;
288288 }
289289
@@ -304,7 +304,7 @@ int arc_core_mpu_region(u32_t index, u32_t base, u32_t size,
304304void arc_core_mpu_configure_mem_domain (struct k_thread * thread )
305305{
306306 int region_index =
307- _get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
307+ get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
308308 u32_t num_partitions ;
309309 struct k_mem_partition * pparts ;
310310 struct k_mem_domain * mem_domain = NULL ;
@@ -348,7 +348,7 @@ void arc_core_mpu_remove_mem_domain(struct k_mem_domain *mem_domain)
348348 ARG_UNUSED (mem_domain );
349349
350350 int region_index =
351- _get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
351+ get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
352352
353353 for (; region_index >= 0 ; region_index -- ) {
354354 _region_init (region_index , 0 , 0 , 0 );
@@ -367,7 +367,7 @@ void arc_core_mpu_remove_mem_partition(struct k_mem_domain *domain,
367367 ARG_UNUSED (domain );
368368
369369 int region_index =
370- _get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
370+ get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION );
371371
372372 LOG_DBG ("disable region 0x%x" , region_index + part_id );
373373 /* Disable region */
@@ -379,7 +379,7 @@ void arc_core_mpu_remove_mem_partition(struct k_mem_domain *domain,
379379 */
380380int arc_core_mpu_get_max_domain_partition_regions (void )
381381{
382- return _get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION ) + 1 ;
382+ return get_region_index_by_type (THREAD_DOMAIN_PARTITION_REGION ) + 1 ;
383383}
384384
385385/**
@@ -395,7 +395,7 @@ int arc_core_mpu_buffer_validate(void *addr, size_t size, int write)
395395 * matched region that grants permission or denies access.
396396 *
397397 */
398- for (r_index = 0 ; r_index < _get_num_regions (); r_index ++ ) {
398+ for (r_index = 0 ; r_index < get_num_regions (); r_index ++ ) {
399399 if (!_is_enabled_region (r_index ) ||
400400 !_is_in_region (r_index , (u32_t )addr , size )) {
401401 continue ;
@@ -426,7 +426,7 @@ static int arc_mpu_init(struct device *arg)
426426 u32_t num_regions ;
427427 u32_t i ;
428428
429- num_regions = _get_num_regions ();
429+ num_regions = get_num_regions ();
430430
431431 /* ARC MPU supports up to 16 Regions */
432432 if (mpu_config .num_regions > num_regions ) {
0 commit comments