Constant sel4_initialize_tls::DEFAULT_SET_THREAD_POINTER_FN

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