Constant seL4_VCPUReg_CPACR 

pub const seL4_VCPUReg_CPACR: Type = 1;