Constant seL4_VCPUReg_CSSELR 

pub const seL4_VCPUReg_CSSELR: Type = 40;