@@ -10,6 +10,9 @@
#include <Kernel/Arch/x86/CPUID.h>
+#include <AK/Platform.h>
+VALIDATE_IS_X86()
+
namespace Kernel {
class MSR {