esp_idf_sys

Constant SATP32_ASID

Source 
pub const SATP32_ASID: u32 = 2143289344;