1 /*
2  * Copyright (c) 2022 Arm Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier:    BSD-3-Clause
5  *
6  */
7 #ifndef DRTM_REMEDIATION_H
8 #define DRTM_REMEDIATION_H
9 
10 uint64_t drtm_set_error(uint64_t x1, void *ctx);
11 uint64_t drtm_get_error(void *ctx);
12 
13 void drtm_enter_remediation(uint64_t error_code, const char *error_str);
14 
15 #endif /* DRTM_REMEDIATION_H */
16