Constant sel4_sys::seL4_VCPUReg::seL4_VCPUReg_CIDR

pub const seL4_VCPUReg_CIDR: Type = 6;