diff --git a/src/arch/aarch64/hypervisor/sysregs.c b/src/arch/aarch64/hypervisor/sysregs.c
index c2c51be..06385eb 100644
--- a/src/arch/aarch64/hypervisor/sysregs.c
+++ b/src/arch/aarch64/hypervisor/sysregs.c
@@ -16,12 +16,7 @@
 
 #include "sysregs.h"
 
-#include "hf/check.h"
-#include "hf/panic.h"
-#include "hf/types.h"
-
 #include "msr.h"
-#include "perfmon.h"
 
 /**
  * Returns the value for HCR_EL2 for the particular VM.