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 34d9b44e7e..d99d18ce51 100644 --- a/hw/timer/pl031.c +++ b/hw/timer/pl031.c @@ -11,6 +11,7 @@ * GNU GPL, version 2 or (at your option) any later version. */ +#include "qemu/osdep.h" #include "hw/sysbus.h" #include "qemu/timer.h" #include "sysemu/sysemu.h" |