| commit | 1281ed497b93e1c6d81fcf5d17687ea49e853725 | [log] [tgz] |
|---|---|---|
| author | Andrew Walbran <qwandor@google.com> | Tue Oct 22 17:23:40 2019 +0100 |
| committer | Andrew Walbran <qwandor@google.com> | Wed Oct 23 14:50:12 2019 +0100 |
| tree | fe21b68053ba1d314f010014b569537cf744f563 | |
| parent | e52006c02917e7554c87581a84094e10001c5641 [diff] [blame] |
Use uint32_t rather than int for memory modes. Change-Id: I12b4d0cb0582d80bf86ca5dd99c7e462d776320f
diff --git a/inc/hf/cpu.h b/inc/hf/cpu.h index 56f7982..7535454 100644 --- a/inc/hf/cpu.h +++ b/inc/hf/cpu.h
@@ -67,7 +67,7 @@ ipaddr_t ipaddr; vaddr_t vaddr; vaddr_t pc; - int mode; + uint32_t mode; }; struct vcpu {