Before I was falling through to the write lock which does allocation, but as the read loop already saw, specified address was not mapped.
Before I was falling through to the write lock which does allocation, but as the read loop already saw, specified address was not mapped.