Constant mextk_sys::ASID_WARPSTARJUMP

pub const ASID_WARPSTARJUMP: u32 = 305;