34,31 → 34,17 |
/** @file |
*/ |
|
#include <thread.h> |
#include <tls.h> |
#include <malloc.h> |
|
/** Allocate TLS & TCB for initial module threads |
* |
* @param data Start of data section |
* @return pointer to tcb_t structure |
*/ |
extern char _tdata_start; |
extern char _tbss_end; |
tcb_t * __alloc_tls(void **data, size_t size) |
{ |
tcb_t *tcb; |
|
/* ASSERT(sizeof(tcb_t) == 16); */ |
|
tcb = malloc(sizeof(tcb_t) + size); |
*data = ((void *) tcb) + 16; |
|
return tcb; |
return tls_alloc_variant_1(data, size); |
} |
|
void __free_tls_arch(tcb_t *tcb, size_t size) |
{ |
free(tcb); |
tls_free_variant_1(tcb, size); |
} |
|
/** @} |