TEST_SYNC_WRITE_FAULT
if (i == page_nr && (arg & TEST_SYNC_WRITE_FAULT))
GUEST_SYNC(page0 | TEST_SYNC_WRITE_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_WRITE_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_WRITE_FAULT);