--- Gnu-Mach/device/dev_master.h	2020/09/02 04:47:53	1.1.1.2
+++ Gnu-Mach/device/dev_master.h	2020/09/02 04:50:07	1.1.1.3
@@ -37,7 +37,7 @@
 
 #if	NCPUS > 1
 
-#include <kern/macro_help.h>
+#include <kern/macros.h>
 #include <kern/cpu_number.h>
 #include <kern/sched_prim.h>
 #include <kern/thread.h>