update

[l4.git] / l4 / pkg / plr / server / src / cpuid.h

diff --git a/l4/pkg/plr/server/src/cpuid.h b/l4/pkg/plr/server/src/cpuid.h
index e896277d4b5776460a43f9306d2d5c0095af52c9..8f6d91485a3d19ac967a029042397ffe42aa6157 100644 (file)
--- a/l4/pkg/plr/server/src/cpuid.h
+++ b/l4/pkg/plr/server/src/cpuid.h
@@ -30,7 +30,7 @@ public:
         POWER     = 0x06,
         FLAGS     = 0x07,
         DCA       = 0x08,
-        PEMO      = 0x09,
+        PEMO      = 0x0A,
         TOPOLOGY  = 0x0B,
         XSTATE    = 0x0D,
     };
@@ -105,4 +105,4 @@ public:
         a = b = c = d = 0;
         return CPUID::cpuid(CPUID::MAXID, &a, &b, &c, &d);
     }
-};
\ No newline at end of file
+};