2 * $DragonFly: src/sys/platform/vkernel/include/param.h,v 1.4 2008/05/06 18:37:58 dillon Exp $
5 #ifndef _MACHINE_PARAM_H_
7 #ifndef _NO_NAMESPACE_POLLUTION
8 #define _MACHINE_PARAM_H_
11 #ifndef _MACHINE_PLATFORM
12 #define _MACHINE_PLATFORM vkernel64
15 #ifndef _NO_NAMESPACE_POLLUTION
17 #ifndef MACHINE_PLATFORM
18 #define MACHINE_PLATFORM "vkernel64"
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.
29 * XXX just use the cpu default (16) so buildworld binaries are compatible.
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.
47 #include <cpu/param.h>