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