Lines Matching defs:machine
57 #include <machine/asmacros.h>
58 #include <machine/clock.h>
59 #include <machine/cputypes.h>
60 #include <machine/frame.h>
61 #include <machine/intr_machdep.h>
62 #include <machine/md_var.h>
63 #include <machine/segments.h>
64 #include <machine/specialreg.h>
127 char machine[] = MACHINE;
154 error = SYSCTL_OUT(req, machine, sizeof(machine));
158 SYSCTL_PROC(_hw, HW_MACHINE, machine, CTLTYPE_STRING | CTLFLAG_RD |
161 SYSCTL_STRING(_hw, HW_MACHINE, machine, CTLFLAG_RD | CTLFLAG_CAPRD,
162 machine, 0, "Machine class");
1187 * let them know if that machine type isn't configured.
1387 * a VMware virtual machine
1922 * As long as that bug pops up very rarely (intensive machine usage