But the write should have triggered a page fault immediately in that case, and should have been blocked on the page being actually allocated before resuming.