TEST_SYNC_NO_FAULT
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
GUEST_SYNC(TEST_SYNC_NO_FAULT);
TEST_ASSERT(gva || (arg & TEST_SYNC_NO_FAULT),
if (i == page_nr && !(arg & TEST_SYNC_NO_FAULT))
GUEST_SYNC(page0 | TEST_SYNC_NO_FAULT);
GUEST_SYNC(page1 | TEST_SYNC_NO_FAULT);