After lwkt_waitmsg/lwkt_waitport splitting, the second parameter of