212 inline static int is_kernel_readable(int accessRights)  in is_kernel_readable()  argument
214     switch (accessRights)  in is_kernel_readable()
236 inline static int is_kernel_writeable(int accessRights)  in is_kernel_writeable()  argument
238     switch (accessRights)  in is_kernel_writeable()
260 inline static int is_kernel_executable(int accessRights)  in is_kernel_executable()  argument
262     switch (accessRights)  in is_kernel_executable()
284 inline static int is_user_readable(int accessRights)  in is_user_readable()  argument
286     switch (accessRights)  in is_user_readable()
308 inline static int is_user_writeable(int accessRights)  in is_user_writeable()  argument
310     switch (accessRights)  in is_user_writeable()
332 inline static int is_user_executable(int accessRights)  in is_user_executable()  argument
334     switch (accessRights)  in is_user_executable()
760         unsigned last, int memoryType, int accessRights, int wb, int inv)  in safe_and_commit_overlaped_regions()  argument
791                 XTHAL_MPU_ENTRY_SET_ACCESS(fg[i], accessRights);  in safe_and_commit_overlaped_regions()
1014 static int safe_add_region(unsigned first, unsigned last, unsigned accessRights, unsigned memoryTyp…  in safe_add_region()  argument
1186 …safe_and_commit_overlaped_regions(fg, Xthal_mpu_bgmap, first, last, memoryType, accessRights, writ…  in safe_add_region()
1312 extern int xthal_is_kernel_readable(int accessRights)  in xthal_is_kernel_readable()  argument
1315     return is_kernel_readable(accessRights);  in xthal_is_kernel_readable()
1321 extern int xthal_is_kernel_writeable(int accessRights)  in xthal_is_kernel_writeable()  argument
1324     return is_kernel_writeable(accessRights);  in xthal_is_kernel_writeable()
1330 extern int xthal_is_kernel_executable(int accessRights)  in xthal_is_kernel_executable()  argument
1333     return is_kernel_executable(accessRights);  in xthal_is_kernel_executable()
1339 extern int xthal_is_user_readable(int accessRights)  in xthal_is_user_readable()  argument
1342     return is_user_readable(accessRights);  in xthal_is_user_readable()
1348 extern int xthal_is_user_writeable(int accessRights)  in xthal_is_user_writeable()  argument
1351     return is_user_writeable(accessRights);  in xthal_is_user_writeable()
1357 extern int xthal_is_user_executable(int accessRights)  in xthal_is_user_executable()  argument
1360     return is_user_executable(accessRights);  in xthal_is_user_executable()
1638 int xthal_mpu_set_region_attribute(void* vaddr, unsigned size, int accessRights, int memoryType, un…  in xthal_mpu_set_region_attribute()  argument
1656     if (accessRights & XTHAL_MPU_USE_EXISTING_ACCESS_RIGHTS)  in xthal_mpu_set_region_attribute()
1658         accessRights = XTHAL_MPU_ENTRY_GET_ACCESS(xthal_get_entry_for_address(vaddr, 0));  in xthal_mpu_set_region_attribute()
1662         accessRights = encode_access_rights(accessRights);  in xthal_mpu_set_region_attribute()
1663         if (accessRights < 0)  in xthal_mpu_set_region_attribute()
1693     rv = safe_add_region(first, last, accessRights, memoryType, !(flags & XTHAL_CAFLAG_NO_AUTO_WB),  in xthal_mpu_set_region_attribute()