| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 1 | /* |
| mardyk01 | 7b51dbe | 2024-01-17 15:25:36 -0600 | [diff] [blame] | 2 | * Copyright (c) 2024, Arm Limited. All rights reserved. |
| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| Alex Liang | 1d40d72 | 2024-07-23 16:42:16 -0500 | [diff] [blame] | 7 | #include <stdlib.h> |
| 8 | #include <time.h> |
| 9 | |
| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 10 | #include <fuzz_helper.h> |
| Mark Dykes | 5029797 | 2024-03-15 12:49:22 -0500 | [diff] [blame] | 11 | #include "smcmalloc.h" |
| 12 | |
| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 13 | #include <power_management.h> |
| 14 | #include <sdei.h> |
| 15 | #include <test_helpers.h> |
| 16 | #include <tftf_lib.h> |
| 17 | #include <timer.h> |
| 18 | |
| Alex Liang | 0fa7d21 | 2024-06-18 11:17:01 -0500 | [diff] [blame] | 19 | int64_t tftf_test_sdei_noarg(int64_t (*sdei_func)(void), char *funcstr); |
| mardyk01 | f5b4635 | 2023-10-24 16:23:23 -0500 | [diff] [blame] | 20 | void tftf_test_sdei_singlearg(int64_t (*sdei_func)(uint64_t), char *funcstr); |
| Alex Liang | 0fa7d21 | 2024-06-18 11:17:01 -0500 | [diff] [blame] | 21 | void run_sdei_fuzz(int funcid, struct memmod *mmod, bool inrange, int cntid); |
| 22 | char *return_str(int64_t ret); |
| 23 | void print_ret(char *funcstr, int64_t ret); |