sel4_sys::seL4_VCPUReg

Constant seL4_VCPUReg_TTBR0

Source
pub const seL4_VCPUReg_TTBR0: Type = 3;