reven2.arch.x87
reven2
arch
x87
Registers in this module are generated at runtime, so they are not documented. To find them, use autocompletion in your python shell (e.g. in ipython), or use `dir(arch.x87)`