diff options
Diffstat (limited to 'include/hw/timer/pl031.h')
| -rw-r--r-- | include/hw/timer/pl031.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/hw/timer/pl031.h b/include/hw/timer/pl031.h index 8857c24ca5..8c3f555ee2 100644 --- a/include/hw/timer/pl031.h +++ b/include/hw/timer/pl031.h @@ -33,6 +33,8 @@ typedef struct PL031State { */ uint32_t tick_offset_vmstate; uint32_t tick_offset; + bool tick_offset_migrated; + bool migrate_tick_offset; uint32_t mr; uint32_t lr; |