UPGRADE: osdep for vxworks 6.9