1 #ifndef _MACHINE_PARAM_H_
2 #define _MACHINE_PARAM_H_
4 #ifndef _MACHINE_PLATFORM
5 #define _MACHINE_PLATFORM pc64
8 #ifndef MACHINE_PLATFORM
9 #define MACHINE_PLATFORM "pc64"
12 #include <cpu/param.h>
14 /* JG from fbsd/sys/amd64/include/param.h */
16 #define KSTACK_PAGES 4 /* pages of kstack (with pcb) */