1(*
2 * Copyright 2014, General Dynamics C4 Systems
3 *
4 * This software may be distributed and modified according to the terms of
5 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
6 * See "LICENSE_GPLv2.txt" for details.
7 *
8 * @TAG(GD_GPL)
9 *)
10
11theory Interrupt_H
12imports
13  RetypeDecls_H
14  "./$L4V_ARCH/ArchInterrupt_H"
15  Notification_H
16  CNode_H
17  KI_Decls_H
18  InterruptDecls_H
19begin
20
21context Arch begin
22
23requalify_consts
24  checkIRQ
25  decodeIRQControlInvocation
26  performIRQControl
27  initInterruptController
28  handleReservedIRQ
29
30context begin global_naming global
31requalify_consts
32  InterruptDecls_H.decodeIRQControlInvocation
33  InterruptDecls_H.performIRQControl
34end
35
36end
37
38context begin interpretation Arch .
39
40requalify_consts
41  maxIRQ
42  minIRQ
43  maskInterrupt
44  ackInterrupt
45  resetTimer
46  debugPrint
47
48end
49
50#INCLUDE_HASKELL_PREPARSE SEL4/Object/Structures.lhs
51#INCLUDE_HASKELL SEL4/Object/Interrupt.lhs bodies_only
52
53end
54