ksema_init
#define sema_init ksema_init
extern void ksema_init(ksema_t *, uint32_t, char *, ksema_type_t, void *);