Constant esp_idf_sys::SATP64_ASID

pub const SATP64_ASID: u64 = 1152903912420802560;