Compiles again on 32bit after merge with newlib.
authorGerd Zellweger <zgerd@student.ethz.ch>
Tue, 27 Mar 2012 23:00:57 +0000 (01:00 +0200)
committerGerd Zellweger <zgerd@student.ethz.ch>
Tue, 27 Mar 2012 23:00:57 +0000 (01:00 +0200)
13 files changed:
hake/X86_32.hs
if/acpi.if
lib/octopus/client/semaphores.c
lib/posixcompat/semaphore.c
tools/harness/barrelfish.py
usr/acpi/acpi.c
usr/acpi/acpi_main.c
usr/acpi/acpi_service.c
usr/kaluga/debug.h
usr/kaluga/start_cpu.c
usr/pci/pci.c
usr/pci/pci_debug.h
usr/skb/skb_service.c

index 85aa4f9..bfcd8e6 100644 (file)
@@ -45,7 +45,7 @@ cxxFlags = ArchDefaults.commonCxxFlags
 
 cDefines = ArchDefaults.cDefines options
 
-ourLdFlags = [ Str "-Wl,-section-start,.text=0x400000",
+ourLdFlags = [ Str "-Wl,-section-start,.text=0x300000",
                Str "-Wl,-section-start,.data.rel.ro=0x600000",
                Str "-Wl,-z,max-page-size=0x1000",
                Str "-Wl,--build-id=none",
index 77daa5b..8554a1e 100644 (file)
@@ -30,7 +30,7 @@ interface acpi "acpi RPC Interface" {
                                    out errval error_code);
 
     rpc reset(out errval err);
-    rpc sleep(in int state, out errval err);
+    rpc sleep(in uint32 state, out errval err);
     
     // Kludge: retrieve frame cap to VBE BIOS;
     rpc get_vbe_bios_cap(out errval err, out cap cap, out uint32 size);
index 98d3a89..6924a95 100644 (file)
@@ -80,7 +80,7 @@ errval_t oct_sem_new(uint32_t* id, size_t value)
 
 errval_t oct_sem_post(uint32_t id)
 {
-    return oct_mset(SET_SEQUENTIAL, "sem.%d. { sem: %d }", id, id);
+    return oct_mset(SET_SEQUENTIAL, "sem.%"PRIu32". { sem: %"PRIu32" }", id, id);
 }
 
 errval_t oct_sem_wait(uint32_t id)
@@ -93,10 +93,10 @@ errval_t oct_sem_wait(uint32_t id)
     struct octopus_thc_client_binding_t* cl = oct_get_thc_client();
 
     char query[100];
-    snprintf(query, 99, "r'sem\\.%d\\.[0-9]+' { sem: %d }", id, id);
+    snprintf(query, 99, "r'sem\\.%"PRIu32"\\.[0-9]+' { sem: %"PRIu32" }", id, id);
 
     char lock_name[100];
-    snprintf(lock_name, 99, "sem.%d", id);
+    snprintf(lock_name, 99, "sem.%"PRIu32"", id);
 
     // XXX: The current implementation suffers from a herd effect,
     // may be worth it to use locks for this critical section
index 011c1ea..8eeeb72 100644 (file)
@@ -30,10 +30,10 @@ int sem_init(sem_t *sem, int pshared, unsigned int value)
         sem->pshared = 1;
         /* fprintf(stderr, "sem_init called with pshared != 0. Ignoring.\n"); */
 
-               POSIXCOMPAT_DEBUG("%d: sem_init(%p, %d, %u)\n", disp_get_domain_id(), sem, pshared, value);
-               debug_printf("oct_sem_new\n");
+        POSIXCOMPAT_DEBUG("%d: sem_init(%p, %d, %u)\n", disp_get_domain_id(), sem, pshared, value);
+        //debug_printf("oct_sem_new\n");
         errval_t err = oct_sem_new(&sem->id, value);
-        debug_printf("sem->id now is: %d\n", sem->id);
+        //debug_printf("sem->id now is: %d\n", sem->id);
         if (err_is_fail(err)) {
             USER_PANIC_ERR(err, "sem_new reterr");
         }
index ad81bbf..f96e77a 100644 (file)
@@ -110,7 +110,6 @@ def default_bootmodules(build, machine):
 
     # SKB and PCI are x86-only for the moment
     if a == "x86_64" or a == "x86_32":
-        m.add_module("%s/sbin/ioapic" % a, ["boot"])
         m.add_module("%s/sbin/acpi" % a, ["boot"])
         m.add_module("%s/sbin/skb" % a, ["boot"])
         m.add_module("/skb_ramfs.cpio.gz", ["nospawn"])
index 73cbdc9..af891f6 100644 (file)
@@ -319,7 +319,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
 
         if (*prt->Source == 0) {
             /* this is a global interrupt number */
-            skb_add_fact("prt(addr(%u, %u, _), %u, gsi(%u)).",
+            skb_add_fact("prt(addr(%"PRIu8", %"PRIu16", _), %"PRIu32", gsi(%"PRIu32")).",
                          bus, device, prt->Pin, prt->SourceIndex);
             continue;
         }
@@ -341,7 +341,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
                 esource[++j] = '\\';
             }
         }
-        skb_add_fact("prt(addr(%u, %u, _), %u, pir(\"%s\")).",
+        skb_add_fact("prt(addr(%"PRIu8", %"PRIu16", _), %"PRIu32", pir(\"%s\")).",
                      bus, device, prt->Pin, esource);
 
 #ifdef PCI_SERVICE_DEBUG /* debug code to dump resources */
@@ -398,7 +398,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
                 //printf("Extended IRQs:");
                 for (int i = 0; i < irqres->InterruptCount; i++) {
                     //printf(" %d", irqres->Interrupts[i]);
-                    skb_add_fact("pir(\"%s\", %u).",
+                    skb_add_fact("pir(\"%s\", %"PRIu32").",
                                  esource, irqres->Interrupts[i]);
                 }
                 //printf("\n");
@@ -406,7 +406,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
             }
 
             default:
-                printf("Unknown resource type: %d\n", res->Type);
+                printf("Unknown resource type: %"PRIu32"\n", res->Type);
                 USER_PANIC("NYI");
                 break;
             }
@@ -600,9 +600,11 @@ static int acpi_init(void)
     int r = init_all_apics();
     assert(r == 0);
 
+#ifdef USE_KALUGA_DVM
     char* record;
     errval_t err = oct_barrier_enter("barrier.acpi", &record, 2);
     assert(err_is_ok(err));
+#endif
 
     as = AcpiEnableSubsystem(ACPI_FULL_INITIALIZATION);
     if (ACPI_FAILURE(as)) {
@@ -713,7 +715,7 @@ static void process_srat(ACPI_TABLE_SRAT *srat)
                               hotpluggable ? " Hot-pluggable" : "",
                               nonvolatile ? " Non-volatile" : "");
 
-                    skb_add_fact("memory_affinity(%" PRIu64 ", %" PRIu64 ", %d).",
+                    skb_add_fact("memory_affinity(%" PRIu64 ", %" PRIu64 ", %"PRIu32").",
                         a->BaseAddress, a->Length, a->ProximityDomain);
 
                 } else {
index 666f1ed..508ddfb 100644 (file)
@@ -50,7 +50,6 @@ static errval_t copy_bios_mem(void) {
 
     err = mm_alloc_range(&pci_mm_physaddr, BIOS_BITS, 0,
                        1UL << BIOS_BITS, &bioscap, NULL);
-    DEBUG_ERR(err, "mm alloc range\n");
     assert(err_is_ok(err));
 
     /*err = devframe_type(&biosframe, bioscap, BIOS_BITS);
index 66e4f0f..11875f5 100644 (file)
@@ -144,7 +144,7 @@ static void set_device_irq(struct acpi_binding *b, char* device, uint32_t irq)
         break;
 
     default:
-        printf("Unknown resource type: %d\n", res->Type);
+        printf("Unknown resource type: %"PRIu32"\n", res->Type);
         ACPI_DEBUG("NYI");
         break;
     }
@@ -171,7 +171,7 @@ static void reset_handler(struct acpi_binding *b)
         printf("Resetting machine via ACPI...\n");
         ACPI_STATUS as = AcpiReset();
         if (ACPI_FAILURE(as)) {
-            printf("ACPI reset failed: 0x%x\n", as);
+            printf("ACPI reset failed\n");
         }
     }
 
@@ -182,9 +182,9 @@ static void reset_handler(struct acpi_binding *b)
     }
 }
 
-static void sleep_handler(struct acpi_binding *b, int state)
+static void sleep_handler(struct acpi_binding *b, uint32_t state)
 {
-    printf("Entering S%d sleep state via ACPI...\n", state);
+    printf("Entering S%"PRIu32" sleep state via ACPI...\n", state);
     ACPI_STATUS as = AcpiEnterSleepStatePrep(state);
     if (!ACPI_SUCCESS(as)) {
         printf("AcpiEnterSleepStatePrep failed\n");
index 4e6255e..46fe912 100644 (file)
@@ -15,7 +15,7 @@
 #ifndef KALUGA_DEBUG_H_
 #define KALUGA_DEBUG_H_
 
-#define KALUGA_SERVICE_DEBUG 1
+//#define KALUGA_SERVICE_DEBUG 1
 
 #if defined(KALUGA_SERVICE_DEBUG) || defined(GLOBAL_DEBUG)
 #define KALUGA_DEBUG(x...) debug_printf(x)
index 846d59f..4907447 100644 (file)
@@ -155,7 +155,7 @@ static void cpu_change_event(octopus_mode_t mode, char* record, void* state)
         // XXX: copied this line from spawnd bsp_bootup,
         // not sure why x86_64 is hardcoded here but it
         // seems broken...
-        skb_add_fact("corename(%"PRIu32", x86_64, apic(%"PRIu64")).",
+        skb_add_fact("corename(%"PRIu8", x86_64, apic(%"PRIu64")).",
                 core_counter, arch_id);
 
         if (arch_id != my_arch_id && enabled) {
index 512b6fa..2e3a783 100644 (file)
@@ -226,7 +226,7 @@ errval_t device_init(bool enable_irq, uint8_t coreid, int vector,
     pcisize_t bar_size;
 
     if (*bus != PCI_DONT_CARE) {
-        snprintf(s_bus, sizeof(s_bus), "%u", *bus);
+        snprintf(s_bus, sizeof(s_bus), "%"PRIu32"", *bus);
     } else {
         strncpy(s_bus, "Bus", sizeof(s_bus));
     }
index 6333c15..64ca246 100644 (file)
@@ -15,7 +15,7 @@
  * Debug printer and its power-switch:
  *****************************************************************/
 
-#define PCI_SERVICE_DEBUG 1
+//#define PCI_SERVICE_DEBUG 1
 
 #if defined(PCI_SERVICE_DEBUG) || defined(GLOBAL_DEBUG)
 #define PCI_DEBUG(x...) printf("pci_service: " x)
index 83c6861..815b026 100644 (file)
@@ -166,7 +166,7 @@ static void export_cb(void *st, errval_t err, iref_t iref)
 
     // register this iref with the name service
     char buf[100];
-    sprintf(buf, "add_object(skb, [val(iref, %d)], []).", iref);
+    sprintf(buf, "add_object(skb, [val(iref, %"PRIu32")], []).", iref);
 
     struct skb_query_state* sqs = malloc(sizeof(struct skb_query_state));
     err = execute_query(buf, sqs);