Top

States32i

Stat32i

Fixtype of states for the RV32I base.

This is a product type introduced by fty::defprod.

Fields

xregs — xregs32i
pc — ubyte32
memory — memory32i
error — booleanp

This is a specialization of stat according to stat-validp.

Subtopics

Stat32ip: Recognizer for stat32i structures.
Stat32i-fix: Fixing function for stat32i structures.
Stat32i-equiv: Basic equivalence relation for stat32i structures.
Make-stat32i: Basic constructor macro for stat32i structures.
Change-stat32i: Modifying constructor for stat32i structures.
Stat32i->xregs: Get the xregs field from a stat32i.
Stat32i->memory: Get the memory field from a stat32i.
Stat32i->error: Get the error field from a stat32i.
Stat32i->pc: Get the pc field from a stat32i.