diff options
Diffstat (limited to 'hw/timer/pl031.c')
| -rw-r--r-- | hw/timer/pl031.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/timer/pl031.c b/hw/timer/pl031.c index 39abd08643..2b3e261006 100644 --- a/hw/timer/pl031.c +++ b/hw/timer/pl031.c @@ -16,6 +16,7 @@ #include "hw/timer/pl031.h" #include "migration/vmstate.h" #include "hw/irq.h" +#include "hw/qdev-properties.h" #include "hw/sysbus.h" #include "qemu/timer.h" #include "sysemu/sysemu.h" |