1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #ifndef VMID_H
7 #define VMID_H
8 
9 #include <stdbool.h>
10 
11 bool vmid_reserve(unsigned int vmid);
12 void vmid_free(unsigned int vmid);
13 
14 #endif /* VMID_H */
15