Changes in kernel/arch/ia64/src/ia64.c [eff1f033:4872160] in mainline

File:

• kernel/arch/ia64/src/ia64.c (modified) (4 diffs)

kernel/arch/ia64/src/ia64.c

@@ -104 +104 @@
 static void iosapic_init(void)
 {
-        uint64_t IOSAPIC = PA2KA((sysarg_t)(iosapic_base)) | FW_OFFSET;
+        uint64_t IOSAPIC = PA2KA((unative_t)(iosapic_base)) | FW_OFFSET;
         int i;
         
@@ -147 +147 @@
 void arch_post_smp_init(void)
 {
-        static const char *platform;
-
-        /* Set platform name. */
-#ifdef MACHINE_ski
-        platform = "pc";
-#endif
-#ifdef MACHINE_i460GX
-        platform = "i460GX";
-#endif
-        sysinfo_set_item_data("platform", NULL, (void *) platform,
-            str_size(platform));
-
 #ifdef MACHINE_ski
         ski_instance_t *ski_instance = skiin_init();
@@ -263 +251 @@
  * We use r13 (a.k.a. tp) for this purpose.
  */
-sysarg_t sys_tls_set(sysarg_t addr)
+unative_t sys_tls_set(unative_t addr)
 {
         return 0;
@@ -286 +274 @@
 void *arch_construct_function(fncptr_t *fptr, void *addr, void *caller)
 {
-        fptr->fnc = (sysarg_t) addr;
-        fptr->gp = ((sysarg_t *) caller)[1];
+        fptr->fnc = (unative_t) addr;
+        fptr->gp = ((unative_t *) caller)[1];
         
         return (void *) fptr;