drm/edid: Make the header fixup threshold tunable
[pandora-kernel.git] / drivers / oprofile / event_buffer.h
index 4e70749..a8d5bb3 100644 (file)
@@ -11,7 +11,7 @@
 #define EVENT_BUFFER_H
 
 #include <linux/types.h>
-#include <asm/mutex.h>
+#include <linux/mutex.h>
 
 int alloc_event_buffer(void);