Lines Matching defs:machine
122 #include <machine/cpu.h>
123 #include <machine/kdb.h>
124 #include <machine/reg.h>
125 #include <machine/vmparam.h>
126 #include <machine/spr.h>
127 #include <machine/hid.h>
128 #include <machine/psl.h>
129 #include <machine/trap.h>
130 #include <machine/md_var.h>
131 #include <machine/mmuvar.h>
132 #include <machine/sigframe.h>
133 #include <machine/machdep.h>
134 #include <machine/metadata.h>
135 #include <machine/platform.h>
173 char machine[] = "powerpc";
174 SYSCTL_STRING(_hw, HW_MACHINE, machine, CTLFLAG_RD, machine, 0, "");