irq_work: Fix racy IRQ_WORK_BUSY flag setting

[karo-tx-linux.git] / arch / um / drivers / null.c

diff --git a/arch/um/drivers/null.c b/arch/um/drivers/null.c
index 2b45a1446c86b5bf34f01cfe9d71d19ec1a118cc..10495747ce8ed932c7b65066ccfe46120490b7fd 100644 (file)
--- a/arch/um/drivers/null.c
+++ b/arch/um/drivers/null.c
@@ -7,7 +7,7 @@
 #include <errno.h>
 #include <fcntl.h>
 #include "chan_user.h"
-#include "os.h"
+#include <os.h>
 
 /* This address is used only as a unique identifier */
 static int null_chan;