Fix a function declaration for the mic code.
Merge branch '4.2-dev' of https://github.com/adaptivecomputing/torque into 4.2-dev