lib/s2tt/tests/s2tt_tests_base_g3.h

/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
 */

#ifndef S2TT_TESTS_BASE_G3
#define S2TT_TESTS_BASE_G3

/* s2tte_create_assigned_dev_destroyed() */
void s2tte_create_assigned_dev_destroyed_tc1(void);
void s2tte_create_assigned_dev_destroyed_tc2(void);
void s2tte_create_assigned_dev_destroyed_tc3(void);
void s2tte_create_assigned_dev_destroyed_tc4(void);
void s2tte_create_assigned_dev_destroyed_tc5(void);

/* s2tte_create_assigned_dev_empty() */
void s2tte_create_assigned_dev_empty_tc1(void);
void s2tte_create_assigned_dev_empty_tc2(void);
void s2tte_create_assigned_dev_empty_tc3(void);
void s2tte_create_assigned_dev_empty_tc4(void);
void s2tte_create_assigned_dev_empty_tc5(void);

/* s2tte_create_assigned_dev_unchanged() */
void s2tte_create_assigned_dev_unchanged_tc1(void);
void s2tte_create_assigned_dev_unchanged_tc2(void);
void s2tte_create_assigned_dev_unchanged_tc3(void);
void s2tte_create_assigned_dev_unchanged_tc4(void);
void s2tte_create_assigned_dev_unchanged_tc5(void);
void s2tte_create_assigned_dev_unchanged_tc6(void);
void s2tte_create_assigned_dev_unchanged_tc7(void);
void s2tte_create_assigned_dev_unchanged_tc8(void);

/* s2tte_has_ripas_dev() */
void s2tte_has_ripas_dev_tc1(void);
void s2tte_has_ripas_dev_tc2(void);

/* s2tte_is_assigned_dev_empty() */
void s2tte_is_assigned_dev_empty_tc1(void);

/* s2tte_is_assigned_dev_destroyed() */
void s2tte_is_assigned_dev_destroyed_tc1(void);

/* s2tte_is_assigned_dev_dev() */
void s2tte_is_assigned_dev_dev_tc1(void);
void s2tte_is_assigned_dev_dev_tc2(void);
void s2tte_is_assigned_dev_dev_tc3(void);
void s2tte_is_assigned_dev_dev_tc4(void);

/* s2tte_get_ripas() */
void s2tte_get_ripas_dev_tc1(void);
void s2tte_get_ripas_dev_tc2(void);

/* s2tt_init_assigned_dev_empty() */
void s2tt_init_assigned_dev_empty_tc1(void);
void s2tt_init_assigned_dev_empty_tc2(void);
void s2tt_init_assigned_dev_empty_tc3(void);
void s2tt_init_assigned_dev_empty_tc4(void);
void s2tt_init_assigned_dev_empty_tc5(void);
void s2tt_init_assigned_dev_empty_tc6(void);

/* s2tt_init_assigned_dev_destroyed() */
void s2tt_init_assigned_dev_destroyed_tc1(void);
void s2tt_init_assigned_dev_destroyed_tc2(void);
void s2tt_init_assigned_dev_destroyed_tc3(void);
void s2tt_init_assigned_dev_destroyed_tc4(void);
void s2tt_init_assigned_dev_destroyed_tc5(void);
void s2tt_init_assigned_dev_destroyed_tc6(void);

/* void s2tt_init_assigned_dev_dev() */
void s2tt_init_assigned_dev_dev_tc1(void);
void s2tt_init_assigned_dev_dev_tc2(void);
void s2tt_init_assigned_dev_dev_tc3(void);
void s2tt_init_assigned_dev_dev_tc4(void);
void s2tt_init_assigned_dev_dev_tc5(void);
void s2tt_init_assigned_dev_dev_tc6(void);

#endif /* S2TT_TESTS_BASE_G3 */