esp_idf_sys

Constant MSTATUS_SXL

Source 
pub const MSTATUS_SXL: u64 = 51539607552;