sel4_sys::syscall_id

Constant SetTLSBase

Source 
pub const SetTLSBase: i32 = -29i32;