guest_write64
TEST_UFFD_AND_DIRTY_LOG(guest_write64, with_af,
TEST_RO_MEMSLOT(guest_write64, mmio_on_test_gpa_handler, 1),
TEST_RO_MEMSLOT_AND_DIRTY_LOG(guest_write64, mmio_on_test_gpa_handler,
TEST_RO_MEMSLOT_AND_UFFD(guest_write64, mmio_on_test_gpa_handler, 1,
TEST_ACCESS(guest_write64, with_af, CMD_NONE),
TEST_ACCESS(guest_write64, no_af, CMD_HOLE_DATA),
TEST_UFFD(guest_write64, with_af, CMD_HOLE_DATA | CMD_HOLE_PT,
TEST_DIRTY_LOG(guest_write64, with_af, guest_check_write_in_dirty_log,