Constant XCHAL_DTLB_SET0_PPN_RESET 

pub const XCHAL_DTLB_SET0_PPN_RESET: u32 = 0;