Changeset 32573ff in mainline for contrib/arch/kernel/kernel.adl

Timestamp:

2016-05-02T20:58:16Z (9 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

7c4b26c

Parents:

6adb775f (diff), 5035ba05 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge mainline, which has dltest and fixes.

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*
 };