/*
 * SPDX-FileCopyrightText: 2022 HelenOS Project
 * SPDX-License-Identifier: CC0-1.0
 */
/** @addtogroup icp-ic icp-ic
 * @brief Interrupt controller driver for Integrator/CP
 * @ingroup drvs
 */