Searched refs:TDATASIZE (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Dsched.c76 #define TDATASIZE (_rump_tdata_end - _rump_tdata_start) macro
79 (((TDATASIZE + TBSSSIZE + sizeof(void *)-1)/sizeof(void *))*sizeof(void *))
397 bmk_memcpy(p, _rump_tdata_start, TDATASIZE);
398 bmk_memset(p + TDATASIZE, 0, TBSSSIZE);

Completed in 27 milliseconds