diff --git a/src/cpu/x87.c b/src/cpu/x87.c
index abc2f48a4..5016661a3 100644
--- a/src/cpu/x87.c
+++ b/src/cpu/x87.c
@@ -21,12 +21,12 @@
 int fpu_do_log = ENABLE_FPU_LOG;
 
 
-static void
+void
 fpu_log(const char *fmt, ...)
 {
     va_list ap;
 
-    if (fpu_log) {
+    if (fpu_do_log) {
 	va_start(ap, fmt);
 	pclog_ex(fmt, ap);
 	va_end(ap);
diff --git a/src/cpu_new/x87.c b/src/cpu_new/x87.c
index 367948656..7d27e29f3 100644
--- a/src/cpu_new/x87.c
+++ b/src/cpu_new/x87.c
@@ -21,12 +21,12 @@
 int fpu_do_log = ENABLE_FPU_LOG;
 
 
-static void
+void
 fpu_log(const char *fmt, ...)
 {
     va_list ap;
 
-    if (fpu_log) {
+    if (fpu_do_log) {
 	va_start(ap, fmt);
 	pclog_ex(fmt, ap);
 	va_end(ap);