35 |
L4_Word_t my_errno; |
L4_Word_t my_errno; |
36 |
|
|
37 |
extern inline struct __pthread * |
extern inline struct __pthread * |
38 |
|
__attribute__((__always_inline__)) |
39 |
_pthread_self (void) |
_pthread_self (void) |
40 |
{ |
{ |
41 |
return (struct __pthread *) L4_MyUserDefinedHandle (); |
return (struct __pthread *) L4_MyUserDefinedHandle (); |
43 |
|
|
44 |
extern inline void |
extern inline void |
45 |
__pthread_stack_dealloc (void *stackaddr, size_t stacksize) |
__pthread_stack_dealloc (void *stackaddr, size_t stacksize) |
46 |
|
__attribute__((__always_inline__)) |
47 |
{ |
{ |
48 |
/* XXX: can only implement this once we have a working memory manager. */ |
/* XXX: can only implement this once we have a working memory manager. */ |
49 |
return; |
return; |