138a139,141
> // A count of how many IPIs are in flight.
> int pendingIPIs;
>