1 #ifndef _MACHINE_PARAM_H_ 2 #define _MACHINE_PARAM_H_ 3 4 #ifndef _MACHINE_PLATFORM 5 #define _MACHINE_PLATFORM pc64 6 #endif 7 8 #ifndef MACHINE_PLATFORM 9 #define MACHINE_PLATFORM "pc64" 10 #endif 11 12 #include <cpu/param.h> 13 14 /* JG from fbsd/sys/amd64/include/param.h */ 15 #ifndef KSTACK_PAGES 16 #define KSTACK_PAGES 4 /* pages of kstack (with pcb) */ 17 #endif 18 19 #endif 20 21