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 */
14 void pic_remap_irqs(interrupt_t vector);
15 void pic_disable(void);
16 
17 void pic_mask_irq(bool_t mask, irq_t irq);
18 bool_t pic_is_irq_pending(void);
19 void pic_ack_active_irq(void);
20 
21