Constant seL4_VCPUReg_LRsvc 

pub const seL4_VCPUReg_LRsvc: Type = 17;