1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef TYPES_H
7 #define TYPES_H
8 
9 #include <stdint.h>
10 
11 typedef uint64_t u_register_t;
12 typedef int64_t register_t;
13 
14 #endif /* TYPES_H */
15