Subversion Repositories shark

#include <kernel/int_sem.h>
#include <stdlib.h>

void shark_internal_sem_create(void **sem, int init) {

  *sem = (void *)malloc(sizeof(internal_sem_t));
  internal_sem_init((internal_sem_t *)(*sem),init);

}

void shark_internal_sem_wait(void *sem) {

  internal_sem_wait((internal_sem_t *)(sem));

}

void shark_internal_sem_post(void *sem) {

  internal_sem_post((internal_sem_t *)(sem));

}