lwkt_waitport
at = (void *)lwkt_waitport(&curthread->td_msgport, 0);
while ((msg = lwkt_waitport(&curthread->td_msgport, 0))) {
msg = (disk_msg_t)lwkt_waitport(&disk_msg_port, 0);
while ((msg = lwkt_waitport(&td->td_msgport, 0))) {
while ((msg = lwkt_waitport(&curthread->td_msgport, 0)) != NULL) {
msg = (devfs_msg_t)lwkt_waitport(&devfs_msg_port, 0);