Lines Matching defs:machine
81 #include <machine/cpu.h>
82 #include <machine/dvma.h>
83 #include <machine/idprom.h>
84 #include <machine/kcore.h>
85 #include <machine/reg.h>
86 #include <machine/pcb.h>
87 #include <machine/psl.h>
88 #include <machine/pte.h>
89 #include <machine/mon.h>
92 #include <machine/db_machdep.h>
248 char machine[16] = MACHINE; /* from <machine/param.h> */
297 * machine dependent system variables.