State (p.xedbindings.0.11.doc.xedbindings.xed.Xedbindings

include module type of struct include Bind.State end

type -'perm t =
  (Xedbindings_bind.Bind.Types.state Ctypes.abstract, 'perm)
    Xedbindings_bind.Bind.Ptr.t

Source

val uninit : 
  unit ->
  (Xedbindings_bind.Bind.Types.state Ctypes.abstract, [ `Read | `Write ])
    Xedbindings_bind.Bind.Ptr.t

Source

val get_address_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
  Xedbindings_bind.XBEnums.address_width

Source

val get_machine_mode : 
  [> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
  Xedbindings_bind.XBEnums.machine_mode

Source

val get_stack_address_width : 
  [> `Read ] Xedbindings_bind.Bind.Types.state_ptr ->
  Xedbindings_bind.XBEnums.address_width

Source

val init : 
  Xedbindings_bind.XBEnums.machine_mode ->
  Xedbindings_bind.XBEnums.address_width ->
  Xedbindings_bind.XBEnums.address_width ->
  [ `Read | `Write ] t

Source

val init2 : 
  Xedbindings_bind.XBEnums.machine_mode ->
  Xedbindings_bind.XBEnums.address_width ->
  [ `Read | `Write ] t

Sourceval long64_mode : [> `Read ] Xedbindings_bind.Bind.Types.state_ptr -> bool

Sourceval mode_width_16 : [> `Read ] Xedbindings_bind.Bind.Types.state_ptr -> bool

Sourceval mode_width_32 : [> `Read ] Xedbindings_bind.Bind.Types.state_ptr -> bool

Sourceval print : [> `Read ] Xedbindings_bind.Bind.Types.state_ptr -> bytes -> int

Sourceval real_mode : [> `Read ] Xedbindings_bind.Bind.Types.state_ptr -> bool

Source

val set_machine_mode : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.state_ptr ->
  Xedbindings_bind.XBEnums.machine_mode ->
  unit

Source

val set_stack_address_width : 
  [> `Read | `Write ] Xedbindings_bind.Bind.Types.state_ptr ->
  Xedbindings_bind.XBEnums.address_width ->
  unit

Sourceval zero : [> `Read | `Write ] Xedbindings_bind.Bind.Types.state_ptr -> unit

Sourceval to_string : [> `Read ] Xedbindings_bind.Types_generated.state_ptr -> string