/* SPDX-License-Identifier: MIT */ #ifndef MCC_H #define MCC_H int mcc_init(void); int mcc_unmap_carveouts(void); #endif