diff options
| author | Alexander Richardson | 2018-05-31 10:25:11 +0100 |
|---|---|---|
| committer | GitHub | 2018-05-31 10:25:11 +0100 |
| commit | 7ecae9d9b9cfea4f379b21ddc794a6a618516a89 (patch) | |
| tree | 27b29d40a7f58c91cfc361bd3f4e5da08e65e5cc /lib/main.ml | |
| parent | 9d9e60cd633b8ab13a4fd721d2a242fe57caf014 (diff) | |
Also dump the cap hwregs in dump_cp2_state
Dump format is the same as for the cap GPRs with DEBUG CAP HWREG as the prefix
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions