Constant seL4_VCPUReg_R8fiq 

pub const seL4_VCPUReg_R8fiq: Type = 27;