Skip to main content

TCBSetTLSBase

sel4_sys::invocation_label

Constant TCBSetTLSBase 

Source 
pub const TCBSetTLSBase: u32 = 16u32;