How do the NdisXXXReadWriteLock functions handle starvation? (again)