1 #ifndef _MACHINE_PARAM_H_ 2 3 #ifndef _NO_NAMESPACE_POLLUTION 4 #define _MACHINE_PARAM_H_ 5 #endif 6 7 #ifndef _MACHINE_PLATFORM 8 #define _MACHINE_PLATFORM vkernel64 9 #endif 10 11 #ifndef _NO_NAMESPACE_POLLUTION 12 13 #ifndef MACHINE_PLATFORM 14 #define MACHINE_PLATFORM "vkernel64" 15 #endif 16 17 #endif 18 19 /* 20 * Set the default HZ to the likely resolution of the kqueue timer 21 * the vkernel uses, otherwise our ticks will be seriously off and 22 * while date/time will be correct, sleep intervals will not. 23 */ 24 #ifdef _KERNEL 25 #ifndef HZ 26 #define HZ 20 27 #endif 28 #endif 29 30 #include <cpu/param.h> 31 32 #endif 33