Constant seL4_VCPUReg_TTBCR 

pub const seL4_VCPUReg_TTBCR: Type = 2;