Constant sel4_common::sel4_config::tcbVTable

source · 
pub const tcbVTable: usize = 1;