lwkt_runnable is declared in <sys/thread2.h>