esp_idf_sys

Constant SATP64_ASID

Source 
pub const SATP64_ASID: u64 = 1152903912420802560;