Constant seL4_VCPUReg_SCTLR 

pub const seL4_VCPUReg_SCTLR: Type = 0;