Changes in kernel/arch/amd64/src/amd64.c [eff1f033:2ddcc7b] in mainline

File:

• kernel/arch/amd64/src/amd64.c (modified) (2 diffs)

kernel/arch/amd64/src/amd64.c

@@ -199 +199 @@
 void arch_post_smp_init(void)
 {
-        /* Currently the only supported platform for amd64 is 'pc'. */
-        static const char *platform = "pc";
-
-        sysinfo_set_item_data("platform", NULL, (void *) platform,
-            str_size(platform));
-
 #ifdef CONFIG_PC_KBD
         /*
@@ -262 +256 @@
  * we need not to go to CPL0 to read it.
  */
-sysarg_t sys_tls_set(sysarg_t addr)
+unative_t sys_tls_set(unative_t addr)
 {
         THREAD->arch.tls = addr;