Constant esp_idf_sys::SATP32_ASID

pub const SATP32_ASID: u32 = 2143289344;