Lines Matching defs:machine
89 #include <machine/db_machdep.h>
94 #include <machine/reg.h>
95 #include <machine/pcb.h>
96 #include <machine/psl.h>
97 #include <machine/pte.h>
98 #include <machine/kcore.h>
106 #include <machine/bus.h>
107 #include <machine/autoconf.h>
115 char machine[] = MACHINE; /* from <machine/param.h> */
318 * check machine type constant
385 * machine dependent system variables.
486 strcpy(h->name, machine);
539 * Compute the size of the machine-dependent crash dump header.
554 * Called by dumpsys() to dump the machine-dependent header.