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 11chapter "Threads" 12 13theory Thread_H 14imports 15 ThreadDecls_H 16 CSpace_H 17 "./$L4V_ARCH/ArchThread_H" 18 FaultHandler_H 19 Config_H 20begin 21 22context Arch begin 23 24requalify_consts 25 activateIdleThread 26 configureIdleThread 27 switchToIdleThread 28 switchToThread 29 30context begin global_naming global 31 32requalify_consts 33 ThreadDecls_H.configureIdleThread 34 ThreadDecls_H.switchToIdleThread 35 ThreadDecls_H.switchToThread 36 37end 38 39end 40 41context begin interpretation Arch . 42 43requalify_consts 44 capRegister 45 46end 47 48#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch bodies_only NOT doNormalTransfer doIPCTransfer doReplyTransfer doNormalTransfer transferCaps transferCapsToSlots 49 50#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch ONLY transferCapsToSlots 51 52#INCLUDE_HASKELL SEL4/Kernel/Thread.lhs Arch=Arch bodies_only ONLY doNormalTransfer doIPCTransfer doReplyTransfer doNormalTransfer transferCaps 53 54end 55