@ -80,7 +80,8 @@ listener_thread_main(void *dummy)
generic_thread_initialize();
/* Set my priority */
runtime_set_pthread_prio(pthread_self(), 2);
// runtime_set_pthread_prio(pthread_self(), 2);
pthread_setschedprio(pthread_self(), -20);
while (true) {
/*
@ -47,7 +47,8 @@ worker_thread_main(void *argument)
worker_thread_idx = *(int *)argument;
scheduler_runqueue_initialize();