ksema_type_t
char *name, ksema_type_t st, void *arg)
extern void ksema_init(ksema_t *, uint32_t, char *, ksema_type_t, void *);
sema_init(ksema_t *sp, unsigned count, char *name, ksema_type_t type, void *arg)
extern void sema_init(ksema_t *, uint32_t, char *, ksema_type_t, void *);