| /branches/arm/uspace/libc/arch/arm32/include/thread.h |
|---|
| 46,13 → 46,21 |
| static inline void __tcb_set(tcb_t *tcb) |
| { |
| /* TODO */ |
| asm( |
| "mov r9, %0" |
| : |
| : "r"(tcb) |
| ); |
| } |
| static inline tcb_t *__tcb_get(void) |
| { |
| /* TODO */ |
| return NULL; |
| tcb_t* ret; |
| asm( |
| "mov %0, r9" |
| : "=r"(ret) |
| ); |
| return ret; |
| } |
| #endif |