2 * ARM AMBA PrimeCell PL031 RTC
4 * Copyright (c) 2007 CodeSourcery
6 * This file is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 * Contributions after 2012-01-13 are licensed under the terms of the
11 * GNU GPL, version 2 or (at your option) any later version.
14 #ifndef HW_RTC_PL031_H
15 #define HW_RTC_PL031_H
17 #include "hw/sysbus.h"
18 #include "qemu/timer.h"
20 #define TYPE_PL031 "pl031"
21 #define PL031(obj) OBJECT_CHECK(PL031State, (obj), TYPE_PL031)
23 typedef struct PL031State
{
24 SysBusDevice parent_obj
;
31 * Needed to preserve the tick_count across migration, even if the
32 * absolute value of the rtc_clock is different on the source and
35 uint32_t tick_offset_vmstate
;
37 bool tick_offset_migrated
;
38 bool migrate_tick_offset
;