Constant seL4_VCPUReg_PARlow 

pub const seL4_VCPUReg_PARlow: Type = 39;