Changes in contrib/arch/kernel/kernel.adl [6fa9a99d:af9dd1e] in mainline

File:

• contrib/arch/kernel/kernel.adl (modified) (1 diff)

contrib/arch/kernel/kernel.adl

@@ -21 +21 @@
                         ?sys_debug_disable_console
                 )*
-};
-
-interface sys_tls {
-                /* Set thread-local storage pointer (on architectures where kernel mode is required) */
-                sysarg_t sys_tls_set(sysarg_t addr);
-        protocol:
-                ?sys_tls_set*
 };