/*
* Copyright (c) 2017, Intel Corporation
*
* SPDX-License-Identifier: Apache-2.0
*/
#ifndef __ALT_COMMON_H__
#define __ALT_COMMON_H__
#include "alt_types.h"
extern void alt_handle_irq(void* base, alt_u32 id);
#endif /* __ALT_COMMON_H__ */