var group___c_o_r_t_e_x___m_p_u___region___enable =
[
    [ "MPU_REGION_DISABLE", "d1/d5f/group___c_o_r_t_e_x___m_p_u___region___enable.html#ga2ce3c45b0757cad5aef279b9b0214b08", null ],
    [ "MPU_REGION_ENABLE", "d1/d5f/group___c_o_r_t_e_x___m_p_u___region___enable.html#gab4d333fe8f5258a5ab0130f138ea70c6", null ]
];