1 |
/* Internal defenitions for pthreads library. |
/* Internal defenitions for pthreads library. |
2 |
Copyright (C) 2000, 2002 Free Software Foundation, Inc. |
Copyright (C) 2000, 2002, 2005 Free Software Foundation, Inc. |
3 |
This file is part of the GNU C Library. |
This file is part of the GNU C Library. |
4 |
|
|
5 |
The GNU C Library is free software; you can redistribute it and/or |
The GNU C Library is free software; you can redistribute it and/or |
33 |
l4_word_t my_errno; |
l4_word_t my_errno; |
34 |
|
|
35 |
extern inline struct __pthread * |
extern inline struct __pthread * |
36 |
|
__attribute__((__always_inline__)) |
37 |
_pthread_self (void) |
_pthread_self (void) |
38 |
{ |
{ |
39 |
return (struct __pthread *) l4_user_defined_handle (); |
return (struct __pthread *) l4_user_defined_handle (); |
40 |
} |
} |
41 |
|
|
42 |
extern inline void |
extern inline void |
43 |
|
__attribute__((__always_inline__)) |
44 |
__pthread_stack_dealloc (void *stackaddr, size_t stacksize) |
__pthread_stack_dealloc (void *stackaddr, size_t stacksize) |
45 |
{ |
{ |
46 |
/* XXX: can only implement this once we have a working memory manager. */ |
/* XXX: can only implement this once we have a working memory manager. */ |