#include <sys/time.h>
#include <sys/mman.h>
-#include <rte_config.h>
#include <rte_log.h>
#include <ctx.h>
struct lthread_stack *s;
s = _lthread_objcache_alloc((THIS_SCHED)->stack_cache);
- LTHREAD_ASSERT(s != NULL);
+ RTE_ASSERT(s != NULL);
s->root_sched = THIS_SCHED;
s->stack_size = LTHREAD_MAX_STACK_SIZE;