diff --git a/src/cpu/x86seg_common.c b/src/cpu/x86seg_common.c
index 1d27c5c66..8926af0d7 100644
--- a/src/cpu/x86seg_common.c
+++ b/src/cpu/x86seg_common.c
@@ -90,7 +90,6 @@ x86de(UNUSED(char *s), UNUSED(uint16_t error))
 void
 x86gpf(UNUSED(char *s), uint16_t error)
 {
-    pclog("GPF %04X: %s\n", error, s);
     cpu_state.abrt = ABRT_GPF;
     abrt_error     = error;
 }