Constant seL4_VCPURegSaveRange_start 

pub const seL4_VCPURegSaveRange_start: Type = 2;