Rev 496 | Go to most recent revision | Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
490 | giacomo | 1 | #include <kernel/int_sem.h> |
2 | #include <stdlib.h> |
||
3 | |||
4 | void shark_internal_sem_create(void **sem, int init) { |
||
5 | |||
6 | *sem = (void *)malloc(sizeof(internal_sem_t)); |
||
7 | internal_sem_init((internal_sem_t *)(*sem),init); |
||
8 | |||
9 | } |
||
10 | |||
11 | void shark_internal_sem_wait(void *sem) { |
||
12 | |||
13 | internal_sem_wait((internal_sem_t *)(sem)); |
||
14 | |||
15 | } |
||
16 | |||
17 | void shark_internal_sem_post(void *sem) { |
||
18 | |||
19 | internal_sem_post((internal_sem_t *)(sem)); |
||
20 | |||
21 | } |