Documentation

x86_machine_linux :: (?x86 :: X86, ?sysHooks :: SystemHooks) => VonNeumannMachine Source #

x86_common :: (?x86 :: X86) => ((?sys :: VonNeumannMachine) => a) -> a Source #

x86_extended :: (?x86 :: X86, ?sysHooks :: SystemHooks) => ((?sys :: VonNeumannMachine) => a) -> a Source #

data X86_Syscall Source #

extraReg :: RegID Source #

esp :: RegID Source #

r11 :: RegID Source #

valReg :: (?sys :: VonNeumannMachine, MonadASM m s, IsValue v) => v -> m RegID Source #

x86_interrupt :: MonadASM m s => Word8 -> m () Source #

argVal :: (MonadASM m s, IsValue v) => v -> m Value Source #

x86_linux_syscall :: (?x86 :: X86, MonadASM m s) => X86_Syscall -> [m Value] -> m () Source #

x86_linux_malloc :: (?x86 :: X86, MonadASM m s) => m BinAddress Source #

x86_linux_memextend_ :: (?x86 :: X86, MonadASM m s) => m BinAddress Source #

x86_linux_brkaddr :: (?x86 :: X86, MonadASM m s) => m BinAddress Source #

x86_linux_memextend_page :: (?x86 :: X86, MonadASM m s) => m BinAddress Source #

x86_linux_memextend_pool :: (MonadASM m s, ?x86 :: X86) => Int -> m BinAddress Source #

x86_linux_sysAllocBytes :: (IsValue t, MonadASM m s, ?x86 :: X86) => Locus -> t -> m () Source #

x86_pushThunk :: (?x86 :: X86, MonadASM m s) => Locus -> m () Source #

x86_popThunk :: (?x86 :: X86, MonadASM m s) => Locus -> m () Source #

x86_linux_system :: (?x86 :: X86) => String -> System Source #

x86_defBuiltin :: (?x86 :: X86, ?sysHooks :: SystemHooks, MonadASM m s) => String -> ((?sys :: VonNeumannMachine) => m ()) -> Maybe (m (BinAddress, Value)) Source #

x86_linux_builtin :: (?x86 :: X86, ?sysHooks :: SystemHooks) => BUILTIN_INSTR Source #

system :: System Source #

system64 :: System Source #