1 /* SPDX-License-Identifier: BSD-3-Clause 2 * Copyright (C) 2018 Intel Corporation. 3 * All rights reserved. 4 */ 5 6 #ifndef EVENT_VMD_H 7 #define EVENT_VMD_H 8 9 void vmd_subsystem_enable(void); 10 bool vmd_subsystem_is_enabled(void); 11 12 #endif 13