/* * SPDX-License-Identifier: BSD-3-Clause * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. */ #ifndef TYPES_H #define TYPES_H #include <stdint.h> typedef uint64_t u_register_t; typedef int64_t register_t; #endif /* TYPES_H */