minor cleanup to [8292]
[debian/gnuradio] / omnithread / ot_VxThread.h
2007-01-30 ebMerged eb/omni -r4315:4327 into trunk.