[ofw] RE: bugcheck in mlx4_bus

[Sean Hefty]

>It seems that the problem the verifier complains about is that
>MmProbeAndLockPages is being called without a matching call to
>MmUnlockPages.
>
>Can you please count the number of calls to these functions? Also, can
>you compare that the same MDL is being used?

I swapped my HCAs around to move my mlx4 adapter into a 2008 HPC server.  If the
problem re-appears, I'll add counters into the mlx4 driver to count the
lock/unlock calls.  Thanks.

- Sean