Constant XCHAL_MMU_ASID_KERNEL 

pub const XCHAL_MMU_ASID_KERNEL: u32 = 0;