Constant PT_SEL4_RESET_REGIONS 

pub const PT_SEL4_RESET_REGIONS: u32 = 0x64c3_4001;