3 files changed, 31 insertions, 0 deletions
diff --git a/kernel/src/cpu/irq.c b/kernel/src/cpu/irq.c
index 6975fec..e5f811c 100644
--- a/kernel/src/cpu/irq.c
+++ b/kernel/src/cpu/irq.c
@@ -84,6 +84,9 @@ void irq_def_handler(uint64_t number)
 		case 1:
 			keyboard_handler();
 			break;
+		default:
+			printf("spurious interrupt\n");
+			break;
 	}
 	eoi(number);
 }
diff --git a/kernel/src/cpu/kcpuid.c b/kernel/src/cpu/kcpuid.c
new file mode 100644
index 0000000..30a4d3e
--- /dev/null
+++ b/kernel/src/cpu/kcpuid.c
@@ -0,0 +1,7 @@
+#include <types.h>
+#include <kcpuid.h>
+
+void kcpuid(uint32_t func, uint32_t subfunc, CPUIDinfo* info)
+{
+	__asm__ __volatile__ ( "cpuid" : "=a"(info->EAX), "=b"(info->EBX), "=c"(info->ECX), "=d"(info->EDX) : "a"(func), "c"(subfunc) : );
+}
diff --git a/kernel/src/cpu/msr.c b/kernel/src/cpu/msr.c
new file mode 100644
index 0000000..75fc602
--- /dev/null
+++ b/kernel/src/cpu/msr.c
@@ -0,0 +1,21 @@
+#include <msr.h>
+
+uint64_t read_msr(uint32_t addr)
+{
+	uint64_t eax;
+	uint64_t edx;
+	uint64_t ecx = addr;
+
+	__asm__ volatile ("rdmsr;" : "=a"(eax), "=d"(edx) : "c"(ecx) :);
+
+	return (edx << 32) | eax;
+}
+
+void write_msr(uint32_t addr, uint64_t value)
+{
+	uint64_t eax = value & 0xFFFFFFFF;
+	uint64_t edx = value >> 32;
+	uint64_t ecx = addr;
+
+	__asm__ volatile ("wrmsr;" : : "a"(eax), "d"(edx), "c"(ecx) :);
+}