l4/pkg/dde/fbsd/lib/include/bsd/src/dde_fbsd/sysinit.h

   1 #ifndef _dde_fbsd_sysinit_h
   2 #define _dde_fbsd_sysinit_h
   3
   4 #include <sys/kernel.h>
   5
   6 void bsd_register_sysinit(struct sysinit *new);
   7 void bsd_call_sysinits(void);
   8
   9 #define SI_DDE_INTR    0x00000100 // has no dependencies
  10 #define SI_DDE_SCHED   0x00000100 // has no dependencies
  11 #define SI_DDE_UMA     0x00000100 // has no dependencies
  12 #define SI_DDE_THREADS 0x00000100 // has no dependencies
  13 #define SI_DDE_COLD    0x00000100 // has no dependencies
  14 // initialize dde_locks backing statically initialized bsd mutexes
  15 #define SI_DDE_STATLOCK 0x00000100 // has no dependencies
  16 // call mutex_init()
  17 #define SI_DDE_MUTEX   0x00000200 // depends on SI_DDE_STATLOCK (all_mtx)
  18 #define SI_DDE_TIMEOUT SI_SUB_INTRINSIC+1 // depends on SI_SUB_INTRINSIC (proc0)
  19 #define SI_DDE_LAST    0xFFFFFFFF // all initialization finished
  20
  21 #endif