1 /*
2  * Copyright (c) 2017, Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef __ALT_COMMON_H__
8 #define __ALT_COMMON_H__
9 
10 #include "alt_types.h"
11 
12 extern void alt_handle_irq(void* base, alt_u32 id);
13 
14 #endif /* __ALT_COMMON_H__ */
15