update

[l4.git] / kernel / fiasco / src / kern / ia32 / loadcnt.cpp

diff --git a/kernel/fiasco/src/kern/ia32/loadcnt.cpp b/kernel/fiasco/src/kern/ia32/loadcnt.cpp
index 4bd319a8d9f64dec76ee327bd86729b8561e9cce..fc714425fae49684d0f2fd71abeb059c1733dcdb 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/loadcnt.cpp
+++ b/kernel/fiasco/src/kern/ia32/loadcnt.cpp
@@ -1,7 +1,7 @@
 IMPLEMENTATION[ia32,amd64]:
 
 #include <cstring>
-#include "cmdline.h"
+#include "koptions.h"
 #include "perf_cnt.h"
 #include "static_init.h"
 
@@ -15,8 +15,6 @@ PUBLIC static
 void FIASCO_INIT_CPU
 Loadcnt::init()
 {
-  if (!strstr(Cmdline::cmdline(), " -loadcnt"))
-    return;
-
-  Perf_cnt::setup_loadcnt();
+  if (Koptions::o()->opt(Koptions::F_loadcnt))
+    Perf_cnt::setup_loadcnt();
 }