1 /*
2  * $DragonFly: src/sys/platform/vkernel/include/param.h,v 1.4 2008/05/06 18:37:58 dillon Exp $
3  */
4 
5 #ifndef _MACHINE_PARAM_H_
6 
7 #ifndef _NO_NAMESPACE_POLLUTION
8 #define _MACHINE_PARAM_H_
9 #endif
10 
11 #ifndef _MACHINE_PLATFORM
12 #define _MACHINE_PLATFORM	vkernel64
13 #endif
14 
15 #ifndef _NO_NAMESPACE_POLLUTION
16 
17 #ifndef MACHINE_PLATFORM
18 #define MACHINE_PLATFORM	"vkernel64"
19 #endif
20 
21 #endif
22 
23 #if 0
24 /*
25  * This is kinda silly but why not?  We use a 32 bit bitmask so 31 is
26  * the most we can have.  We use the msb bit for other purposes in the
27  * spinlock code so we can't have 32.
28  *
29  * XXX just use the cpu default (16) so buildworld binaries are compatible.
30  */
31 #ifndef SMP_MAXCPU
32 #define SMP_MAXCPU	31
33 #endif
34 #endif
35 
36 /*
37  * Set the default HZ to the likely resolution of the kqueue timer
38  * the vkernel uses, otherwise our ticks will be seriously off and
39  * while date/time will be correct, sleep intervals will not.
40  */
41 #ifdef _KERNEL
42 #ifndef HZ
43 #define HZ	20
44 #endif
45 #endif
46 
47 #include <cpu/param.h>
48 
49 #endif
50