Constant seL4_VCPUReg_TTBR0 

pub const seL4_VCPUReg_TTBR0: Type = 3;