Constant esp_idf_sys::SATP_MODE_SV39

pub const SATP_MODE_SV39: u32 = 8;