update

[l4.git] / l4 / pkg / plr / include / cpuid.h

diff --git a/l4/pkg/plr/include/cpuid.h b/l4/pkg/plr/include/cpuid.h
index 8f6d91485a3d19ac967a029042397ffe42aa6157..dbdcb185b24bbc6b718f6b3f71b6e5e395db3279 100644 (file)
--- a/l4/pkg/plr/include/cpuid.h
+++ b/l4/pkg/plr/include/cpuid.h
@@ -36,7 +36,7 @@ public:
     };
 
     /* Perform CPUID */
-    static unsigned cpuid(l4_umword_t code, l4_umword_t* a, l4_umword_t* b,
+    static l4_umword_t cpuid(l4_umword_t code, l4_umword_t* a, l4_umword_t* b,
                           l4_umword_t *c, l4_umword_t *d)
     {
         asm volatile ("cpuid"
@@ -74,7 +74,7 @@ public:
     }
 
 
-    static CPU_id current_apicid(unsigned fiascoID)
+    static CPU_id current_apicid(l4_umword_t fiascoID)
     {
         CPU_id ret;
         l4_umword_t a,b,c,d;