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_TIMER_PL031_H
15 #define HW_TIMER_PL031_H
17 #include "hw/sysbus.h"
19 #define TYPE_PL031 "pl031"
20 #define PL031(obj) OBJECT_CHECK(PL031State, (obj), TYPE_PL031)
22 typedef struct PL031State
{
23 SysBusDevice parent_obj
;
30 * Needed to preserve the tick_count across migration, even if the
31 * absolute value of the rtc_clock is different on the source and
34 uint32_t tick_offset_vmstate
;