| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2023, Arm Limited. All rights reserved. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 5 | */ | ||||
| 6 | |||||
| 7 | #include <fuzz_helper.h> | ||||
| 8 | #include <power_management.h> | ||||
| 9 | #include <sdei.h> | ||||
| 10 | #include <test_helpers.h> | ||||
| 11 | #include <tftf_lib.h> | ||||
| 12 | #include <timer.h> | ||||
| 13 | |||||
| 14 | void tftf_test_sdei_noarg(int64_t (*sdei_func)(void), char *); | ||||
| 15 | void tftf_test_sdei_singlearg(int64_t (*sdei_func)(uint64_t), char *funcstr); | ||||
| 16 | void run_sdei_fuzz(char *); | ||||