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