esp_idf_sys

Constant MSTATUS_MPP

Source 
pub const MSTATUS_MPP: u32 = 6144;