guest_read64
TEST_UFFD_AND_DIRTY_LOG(guest_read64, no_af,
TEST_RO_MEMSLOT(guest_read64, 0, 0),
TEST_RO_MEMSLOT_AND_DIRTY_LOG(guest_read64, 0, 0,
TEST_RO_MEMSLOT_AND_UFFD(guest_read64, 0, 0, uffd_data_handler, 2),
TEST_ACCESS(guest_read64, with_af, CMD_NONE),
TEST_ACCESS(guest_read64, no_af, CMD_HOLE_DATA),
TEST_UFFD(guest_read64, with_af, CMD_HOLE_DATA | CMD_HOLE_PT,
TEST_UFFD(guest_read64, no_af, CMD_HOLE_DATA | CMD_HOLE_PT,
TEST_DIRTY_LOG(guest_read64, with_af, guest_check_no_write_in_dirty_log,
TEST_DIRTY_LOG(guest_read64, no_af, guest_check_no_write_in_dirty_log,
TEST_UFFD_AND_DIRTY_LOG(guest_read64, with_af,