Lines Matching defs:machine
55 #include <machine/asmacros.h>
56 #include <machine/clock.h>
57 #include <machine/cputypes.h>
58 #include <machine/frame.h>
59 #include <machine/intr_machdep.h>
60 #include <machine/segments.h>
61 #include <machine/specialreg.h>
62 #include <machine/md_var.h>
78 char machine[] = "amd64";
97 error = SYSCTL_OUT(req, machine, sizeof(machine));
101 SYSCTL_PROC(_hw, HW_MACHINE, machine, CTLTYPE_STRING | CTLFLAG_RD,
457 * let them know if that machine type isn't configured.
688 * As long as that bug pops up very rarely (intensive machine usage