Constant seL4_VCPUReg_ISR 

pub const seL4_VCPUReg_ISR: Type = 13;