/*
 * 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__ */