| /* | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| * SPDX-FileCopyrightText: Copyright TF-RMM Contributors. | |
| */ | |
| #ifndef MEC_H | |
| #define MEC_H | |
| /* MECID helper functions */ | |
| unsigned int mecid_max(void); | |
| bool mec_assign(unsigned int mecid); | |
| bool mec_unassign(unsigned int mecid); | |
| bool mecid_is_private(unsigned int mecid); | |
| #endif |