VirtIO Block Device corrected for atomicity; noticed: wait() not working inside forbid()...permit()