Constant seL4_VCPUReg_TTBR1 

pub const seL4_VCPUReg_TTBR1: Type = 3;