Searched refs:addr_info (Results 1 – 1 of 1) sorted by relevance
12 cmse_address_info_t addr_info = cmse_TT((void *)addr); in arm_cmse_mpu_region_get() local14 if (addr_info.flags.mpu_region_valid) { in arm_cmse_mpu_region_get()15 return addr_info.flags.mpu_region; in arm_cmse_mpu_region_get()23 cmse_address_info_t addr_info; in arm_cmse_addr_read_write_ok() local25 addr_info = cmse_TTT((void *)addr); in arm_cmse_addr_read_write_ok()27 addr_info = cmse_TT((void *)addr); in arm_cmse_addr_read_write_ok()30 return rw ? addr_info.flags.readwrite_ok : addr_info.flags.read_ok; in arm_cmse_addr_read_write_ok()77 cmse_address_info_t addr_info = cmse_TTA((void *)addr); in arm_cmse_mpu_nonsecure_region_get() local79 if (addr_info.flags.mpu_region_valid) { in arm_cmse_mpu_nonsecure_region_get()80 return addr_info.flags.mpu_region; in arm_cmse_mpu_nonsecure_region_get()[all …]
