_AvailableRX
if (_AvailableRX() < sizeof(vmbus_pkt_header) + sizeof(uint64))
if (_AvailableRX() < readLength)
uint32 writeableLength = fRXRingLength - _AvailableRX();
inline uint32 _AvailableRX();