guest_at
TEST_UFFD_AND_DIRTY_LOG(guest_at, with_af, uffd_no_handler, 1,
TEST_RO_MEMSLOT(guest_at, 0, 0),
TEST_RO_MEMSLOT_AND_DIRTY_LOG(guest_at, 0, 0,
TEST_RO_MEMSLOT_AND_UFFD(guest_at, 0, 0, uffd_no_handler, 1),
TEST_ACCESS(guest_at, no_af, CMD_HOLE_DATA),
TEST_UFFD(guest_at, no_af, CMD_HOLE_DATA | CMD_HOLE_PT,
TEST_DIRTY_LOG(guest_at, no_af, guest_check_no_write_in_dirty_log,