B2R2


Summary Type

Record fields

Record Field Description

InMems

Full Usage: InMems

Field type: Set<Value>
Field type: Set<Value>

InRegs

Full Usage: InRegs

Field type: Set<Reg>
Field type: Set<Reg>

OutMems

Full Usage: OutMems

Field type: Map<Value, Value>
Field type: Map<Value, Value>

OutRegs

Full Usage: OutRegs

Field type: Map<Reg, Value>
Field type: Map<Reg, Value>

SideEff

Full Usage: SideEff

Field type: bool
Field type: bool

SysCall

Full Usage: SysCall

Field type: Summary list
Field type: Summary list