Add platform vkernel64.
[dragonfly.git] / sys / platform / vkernel64 / include / param.h
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