TEST_SYNC_READ_FAULT
i, arg & TEST_SYNC_READ_FAULT ? "read" : "write");
GUEST_SYNC(page0 | TEST_SYNC_READ_FAULT);