Changes in contrib/arch/kernel/kernel.adl [af9dd1e:9d58539] in mainline

File:

• contrib/arch/kernel/kernel.adl (modified) (4 diffs)

contrib/arch/kernel/kernel.adl

@@ -3 +3 @@
  *****************************/
 
-interface sys_kio {
+interface sys_klog {
                 /* Print using kernel facility */
-                sysarg_t sys_kio(int fd, const void *buf, size_t size);
-        protocol:
-                ?sys_kio*
+                sysarg_t sys_klog(int fd, const void *buf, size_t size);
+        protocol:
+                ?sys_klog*
 };
 
@@ -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*
 };
 
@@ -244 +251 @@
 frame sys_console {
         provides:
-                sys_kio sys_kio;
+                sys_klog sys_klog;
                 sys_console sys_console;
 };
@@ -309 +316 @@
         inst sys_debug sys_debug;
         
-        delegate sys_kio to sys_console:sys_kio;
+        delegate sys_klog to sys_console:sys_klog;
         delegate sys_console to sys_console:sys_console;
         delegate sys_tls to sys_proc:sys_tls;