diff --git a/Userland/Libraries/LibC/sys/kcov.h b/Kernel/API/kcov.h
similarity index 75%
rename from Userland/Libraries/LibC/sys/kcov.h
rename to Kernel/API/kcov.h
index f6568a47d7..30a4982bc0 100644
--- a/Userland/Libraries/LibC/sys/kcov.h
+++ b/Kernel/API/kcov.h
@@ -8,6 +8,5 @@
 
 #include <AK/Types.h>
 
-// Note: These need to be kept in sync with Kernel/Devices/KCOVInstance.h
 typedef volatile u64 kcov_pc_t;
 #define KCOV_ENTRY_SIZE sizeof(kcov_pc_t)
diff --git a/Kernel/Devices/KCOVInstance.h b/Kernel/Devices/KCOVInstance.h
index a5c97cca08..810204f2e7 100644
--- a/Kernel/Devices/KCOVInstance.h
+++ b/Kernel/Devices/KCOVInstance.h
@@ -6,14 +6,12 @@
 
 #pragma once
 
+#include <Kernel/API/kcov.h>
 #include <Kernel/Locking/Spinlock.h>
 #include <Kernel/Memory/AnonymousVMObject.h>
 
 namespace Kernel {
 
-// Note: These need to be kept in sync with Userland/Libraries/LibC/sys/kcov.h
-typedef volatile u64 kcov_pc_t;
-#define KCOV_ENTRY_SIZE sizeof(kcov_pc_t)
 #define KCOV_MAX_ENTRIES (10 * 1024 * 1024)
 
 /*
diff --git a/Userland/Utilities/kcov-example.cpp b/Userland/Utilities/kcov-example.cpp
index 6f86538667..990a82d83e 100644
--- a/Userland/Utilities/kcov-example.cpp
+++ b/Userland/Utilities/kcov-example.cpp
@@ -4,12 +4,12 @@
  * SPDX-License-Identifier: BSD-2-Clause
  */
 
+#include <Kernel/API/kcov.h>
 #include <LibCore/System.h>
 #include <LibMain/Main.h>
 #include <fcntl.h>
 #include <stdio.h>
 #include <sys/ioctl.h>
-#include <sys/kcov.h>
 #include <sys/mman.h>
 #include <unistd.h>