1/*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * SPDX-License-Identifier: GPL-2.0-only
5 */
6
7#pragma once
8
9#include <types.h>
10#include <plat/machine.h>
11
12/* Even if not using the PIC as the main interrupt controller we still
13 * need to interact with it to remap and disable it */
14void pic_remap_irqs(interrupt_t vector);
15void pic_disable(void);
16
17void pic_mask_irq(bool_t mask, irq_t irq);
18bool_t pic_is_irq_pending(void);
19void pic_ack_active_irq(void);
20
21