esp_idf_sys

Constant tskMPU_REGION_DEVICE_MEMORY

Source 
pub const tskMPU_REGION_DEVICE_MEMORY: u32 = 16;