Constant seL4_VCPUReg_ESR 

pub const seL4_VCPUReg_ESR: Type = 11;