Constant seL4_VCPUReg_R10fiq 

pub const seL4_VCPUReg_R10fiq: Type = 29;