Index: arch/ia32/src/ia32.c
===================================================================
--- arch/ia32/src/ia32.c	(revision ed0dd65c9dbd967fb298a751aace9d7aed3c3569)
+++ arch/ia32/src/ia32.c	(revision 47d78c6b7e84f7a6010baa23b8d356f10ea71f3f)
@@ -47,18 +47,4 @@
 #include <arch/acpi/acpi.h>
 
-void write_dr0(__u32 v)
-{
-	__asm__("movl %0,%%dr0" : : "r" (v));
-}
-
-inline __u32 read_dr0(void)
-{
-	__u32 v;
-	
-	__asm__("movl %%dr0,%0\n" : "=r" (v));
-	
-	return v;
-}
-
 void arch_pre_mm_init(void)
 {