| Mate Toth-Pal | 83a45bd | 2023-09-01 11:17:19 +0200 | [diff] [blame^] | 1 | /* |
| 2 | * SPDX-License-Identifier: BSD-3-Clause |
| 3 | * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. |
| 4 | */ |
| 5 | |
| 6 | #ifndef TB_H__ |
| 7 | #define TB_H__ |
| 8 | |
| 9 | #include "smc-rmi.h" |
| 10 | #include "tb_common.h" |
| 11 | #include "tb_granules.h" |
| 12 | |
| 13 | /* Initialize the global state based on the commands */ |
| 14 | void __init_global_state(unsigned long cmd); |
| 15 | |
| 16 | /* Sanity check on the implementation of CBMC */ |
| 17 | void global_sanity_check(void); |
| 18 | |
| 19 | /* Call the function based on the X0 value in `config` */ |
| 20 | void tb_handle_smc(struct tb_regs *config); |
| 21 | |
| 22 | /* Assertion used to check consistency of the testbench */ |
| 23 | void __tb_expect_fail(void); |
| 24 | |
| 25 | #endif /* !TB_H */ |