(*
 * Copyright 2014, General Dynamics C4 Systems
 *
 * SPDX-License-Identifier: GPL-2.0-only
 *)

chapter "Architecture-specific Invocation Label Functions"

theory ArchLabelFuns_H
imports "../InvocationLabels_H"
begin
context Arch begin global_naming ARM_HYP_H
text \<open>
  Arch-specific functions on invocation labels
\<close>

#INCLUDE_HASKELL SEL4/API/Invocation/ARM.lhs CONTEXT ARM_HYP_H ONLY isPDFlushLabel isPageFlushLabel

end
end
