Constant seL4_VCPURegSaveRange_end 

pub const seL4_VCPURegSaveRange_end: Type = 37;