guest_cas
TEST_UFFD_AND_DIRTY_LOG(guest_cas, with_af,
TEST_RO_MEMSLOT_NO_SYNDROME(guest_cas),
TEST_RO_MEMSLOT_NO_SYNDROME_AND_DIRTY_LOG(guest_cas,
TEST_RO_MEMSLOT_NO_SYNDROME_AND_UFFD(guest_cas, uffd_data_handler, 2),
TEST_ACCESS(guest_cas, with_af, CMD_NONE),
TEST_ACCESS(guest_cas, no_af, CMD_HOLE_DATA),
TEST_UFFD(guest_cas, with_af, CMD_HOLE_DATA | CMD_HOLE_PT,
TEST_DIRTY_LOG(guest_cas, with_af, guest_check_write_in_dirty_log,