sel4_sys::seL4_VCPUReg

Constant seL4_VCPUReg_CNTV_CTL

Source
pub const seL4_VCPUReg_CNTV_CTL: Type = 38;