Merge pull request #22 from GaloisInc/export-syscall-functionality

Export more functions from `Stubs.Syscall.*`
GaloisInc · Jan 5, 2024 · ad2aba3 · ad2aba3
2 parents 20f35cd + 6639aa7
commit ad2aba3
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/stubs-common/src/Stubs/Syscall/AArch32/Linux.hs b/stubs-common/src/Stubs/Syscall/AArch32/Linux.hs
@@ -11,7 +11,9 @@
 -- See <https://chromium.googlesource.com/chromiumos/docs/+/master/constants/syscalls.md#arm-32_bit_EABI>
 -- for the system call number mapping
 module Stubs.Syscall.AArch32.Linux (
-  aarch32LinuxSyscallABI
+    aarch32LinuxSyscallArgumentRegisters
+  , aarch32LinuxSyscallReturnRegisters
+  , aarch32LinuxSyscallABI
   ) where
 
 import qualified Data.Parameterized.Classes as PC

diff --git a/stubs-common/src/Stubs/Syscall/X86_64/Linux.hs b/stubs-common/src/Stubs/Syscall/X86_64/Linux.hs
@@ -6,7 +6,11 @@
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 
-module Stubs.Syscall.X86_64.Linux ( x86_64LinuxSyscallABI ) where
+module Stubs.Syscall.X86_64.Linux (
+    x86_64LinuxSyscallArgumentRegisters
+  , x86_64LinuxSyscallReturnRegisters
+  , x86_64LinuxSyscallABI
+  ) where
 
 import qualified Data.Parameterized.Context as Ctx
 import qualified Data.Parameterized.NatRepr as PN