sys/platform/vkernel64/include/param.h

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