sel4_initialize_tls

Constant DEFAULT_SET_THREAD_POINTER_FN

Source
pub const DEFAULT_SET_THREAD_POINTER_FN: SetThreadPointerFn = default_set_thread_pointer; // {set_thread_pointer::default_set_thread_pointer as unsafe extern "C" fn(usize)}