1cdbdb648Spbrook /* 2cdbdb648Spbrook * ARM PrimeCell Timer modules. 3cdbdb648Spbrook * 4cdbdb648Spbrook * Copyright (c) 2005-2006 CodeSourcery. 5cdbdb648Spbrook * Written by Paul Brook 6cdbdb648Spbrook * 78e31bf38SMatthew Fernandez * This code is licensed under the GPL. 8cdbdb648Spbrook */ 9cdbdb648Spbrook 1083c9f4caSPaolo Bonzini #include "hw/sysbus.h" 111de7afc9SPaolo Bonzini #include "qemu/timer.h" 12104a26a2SMark Langsdorf #include "qemu-common.h" 1383c9f4caSPaolo Bonzini #include "hw/qdev.h" 1483c9f4caSPaolo Bonzini #include "hw/ptimer.h" 15cdbdb648Spbrook 16cdbdb648Spbrook /* Common timer implementation. */ 17cdbdb648Spbrook 18cdbdb648Spbrook #define TIMER_CTRL_ONESHOT (1 << 0) 19cdbdb648Spbrook #define TIMER_CTRL_32BIT (1 << 1) 20cdbdb648Spbrook #define TIMER_CTRL_DIV1 (0 << 2) 21cdbdb648Spbrook #define TIMER_CTRL_DIV16 (1 << 2) 22cdbdb648Spbrook #define TIMER_CTRL_DIV256 (2 << 2) 23cdbdb648Spbrook #define TIMER_CTRL_IE (1 << 5) 24cdbdb648Spbrook #define TIMER_CTRL_PERIODIC (1 << 6) 25cdbdb648Spbrook #define TIMER_CTRL_ENABLE (1 << 7) 26cdbdb648Spbrook 27cdbdb648Spbrook typedef struct { 28423f0742Spbrook ptimer_state *timer; 29cdbdb648Spbrook uint32_t control; 30cdbdb648Spbrook uint32_t limit; 31cdbdb648Spbrook int freq; 32cdbdb648Spbrook int int_level; 33d537cf6cSpbrook qemu_irq irq; 34cdbdb648Spbrook } arm_timer_state; 35cdbdb648Spbrook 36cdbdb648Spbrook /* Check all active timers, and schedule the next timer interrupt. */ 37cdbdb648Spbrook 38423f0742Spbrook static void arm_timer_update(arm_timer_state *s) 39cdbdb648Spbrook { 40cdbdb648Spbrook /* Update interrupts. */ 41cdbdb648Spbrook if (s->int_level && (s->control & TIMER_CTRL_IE)) { 42d537cf6cSpbrook qemu_irq_raise(s->irq); 43cdbdb648Spbrook } else { 44d537cf6cSpbrook qemu_irq_lower(s->irq); 45cdbdb648Spbrook } 46cdbdb648Spbrook } 47cdbdb648Spbrook 48a8170e5eSAvi Kivity static uint32_t arm_timer_read(void *opaque, hwaddr offset) 49cdbdb648Spbrook { 50cdbdb648Spbrook arm_timer_state *s = (arm_timer_state *)opaque; 51cdbdb648Spbrook 52cdbdb648Spbrook switch (offset >> 2) { 53cdbdb648Spbrook case 0: /* TimerLoad */ 54cdbdb648Spbrook case 6: /* TimerBGLoad */ 55cdbdb648Spbrook return s->limit; 56cdbdb648Spbrook case 1: /* TimerValue */ 57423f0742Spbrook return ptimer_get_count(s->timer); 58cdbdb648Spbrook case 2: /* TimerControl */ 59cdbdb648Spbrook return s->control; 60cdbdb648Spbrook case 4: /* TimerRIS */ 61cdbdb648Spbrook return s->int_level; 62cdbdb648Spbrook case 5: /* TimerMIS */ 63cdbdb648Spbrook if ((s->control & TIMER_CTRL_IE) == 0) 64cdbdb648Spbrook return 0; 65cdbdb648Spbrook return s->int_level; 66cdbdb648Spbrook default: 67edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, 68edb94a41SPeter Maydell "%s: Bad offset %x\n", __func__, (int)offset); 69cdbdb648Spbrook return 0; 70cdbdb648Spbrook } 71cdbdb648Spbrook } 72cdbdb648Spbrook 73423f0742Spbrook /* Reset the timer limit after settings have changed. */ 74423f0742Spbrook static void arm_timer_recalibrate(arm_timer_state *s, int reload) 75423f0742Spbrook { 76423f0742Spbrook uint32_t limit; 77423f0742Spbrook 78a9cf98d9SRabin Vincent if ((s->control & (TIMER_CTRL_PERIODIC | TIMER_CTRL_ONESHOT)) == 0) { 79423f0742Spbrook /* Free running. */ 80423f0742Spbrook if (s->control & TIMER_CTRL_32BIT) 81423f0742Spbrook limit = 0xffffffff; 82423f0742Spbrook else 83423f0742Spbrook limit = 0xffff; 84423f0742Spbrook } else { 85423f0742Spbrook /* Periodic. */ 86423f0742Spbrook limit = s->limit; 87423f0742Spbrook } 88423f0742Spbrook ptimer_set_limit(s->timer, limit, reload); 89423f0742Spbrook } 90423f0742Spbrook 91a8170e5eSAvi Kivity static void arm_timer_write(void *opaque, hwaddr offset, 92cdbdb648Spbrook uint32_t value) 93cdbdb648Spbrook { 94cdbdb648Spbrook arm_timer_state *s = (arm_timer_state *)opaque; 95423f0742Spbrook int freq; 96cdbdb648Spbrook 97cdbdb648Spbrook switch (offset >> 2) { 98cdbdb648Spbrook case 0: /* TimerLoad */ 99cdbdb648Spbrook s->limit = value; 100423f0742Spbrook arm_timer_recalibrate(s, 1); 101cdbdb648Spbrook break; 102cdbdb648Spbrook case 1: /* TimerValue */ 103cdbdb648Spbrook /* ??? Linux seems to want to write to this readonly register. 104cdbdb648Spbrook Ignore it. */ 105cdbdb648Spbrook break; 106cdbdb648Spbrook case 2: /* TimerControl */ 107cdbdb648Spbrook if (s->control & TIMER_CTRL_ENABLE) { 108cdbdb648Spbrook /* Pause the timer if it is running. This may cause some 109cdbdb648Spbrook inaccuracy dure to rounding, but avoids a whole lot of other 110cdbdb648Spbrook messyness. */ 111423f0742Spbrook ptimer_stop(s->timer); 112cdbdb648Spbrook } 113cdbdb648Spbrook s->control = value; 114423f0742Spbrook freq = s->freq; 115cdbdb648Spbrook /* ??? Need to recalculate expiry time after changing divisor. */ 116cdbdb648Spbrook switch ((value >> 2) & 3) { 117423f0742Spbrook case 1: freq >>= 4; break; 118423f0742Spbrook case 2: freq >>= 8; break; 119cdbdb648Spbrook } 120d6759902SRabin Vincent arm_timer_recalibrate(s, s->control & TIMER_CTRL_ENABLE); 121423f0742Spbrook ptimer_set_freq(s->timer, freq); 122cdbdb648Spbrook if (s->control & TIMER_CTRL_ENABLE) { 123cdbdb648Spbrook /* Restart the timer if still enabled. */ 124423f0742Spbrook ptimer_run(s->timer, (s->control & TIMER_CTRL_ONESHOT) != 0); 125cdbdb648Spbrook } 126cdbdb648Spbrook break; 127cdbdb648Spbrook case 3: /* TimerIntClr */ 128cdbdb648Spbrook s->int_level = 0; 129cdbdb648Spbrook break; 130cdbdb648Spbrook case 6: /* TimerBGLoad */ 131cdbdb648Spbrook s->limit = value; 132423f0742Spbrook arm_timer_recalibrate(s, 0); 133cdbdb648Spbrook break; 134cdbdb648Spbrook default: 135edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, 136edb94a41SPeter Maydell "%s: Bad offset %x\n", __func__, (int)offset); 137cdbdb648Spbrook } 138423f0742Spbrook arm_timer_update(s); 139cdbdb648Spbrook } 140cdbdb648Spbrook 141cdbdb648Spbrook static void arm_timer_tick(void *opaque) 142cdbdb648Spbrook { 143423f0742Spbrook arm_timer_state *s = (arm_timer_state *)opaque; 144423f0742Spbrook s->int_level = 1; 145423f0742Spbrook arm_timer_update(s); 146cdbdb648Spbrook } 147cdbdb648Spbrook 148eecd33a5SJuan Quintela static const VMStateDescription vmstate_arm_timer = { 149eecd33a5SJuan Quintela .name = "arm_timer", 150eecd33a5SJuan Quintela .version_id = 1, 151eecd33a5SJuan Quintela .minimum_version_id = 1, 152eecd33a5SJuan Quintela .minimum_version_id_old = 1, 153eecd33a5SJuan Quintela .fields = (VMStateField[]) { 154eecd33a5SJuan Quintela VMSTATE_UINT32(control, arm_timer_state), 155eecd33a5SJuan Quintela VMSTATE_UINT32(limit, arm_timer_state), 156eecd33a5SJuan Quintela VMSTATE_INT32(int_level, arm_timer_state), 157eecd33a5SJuan Quintela VMSTATE_PTIMER(timer, arm_timer_state), 158eecd33a5SJuan Quintela VMSTATE_END_OF_LIST() 15923e39294Spbrook } 160eecd33a5SJuan Quintela }; 16123e39294Spbrook 1626a824ec3SPaul Brook static arm_timer_state *arm_timer_init(uint32_t freq) 163cdbdb648Spbrook { 164cdbdb648Spbrook arm_timer_state *s; 165423f0742Spbrook QEMUBH *bh; 166cdbdb648Spbrook 1677267c094SAnthony Liguori s = (arm_timer_state *)g_malloc0(sizeof(arm_timer_state)); 168423f0742Spbrook s->freq = freq; 169cdbdb648Spbrook s->control = TIMER_CTRL_IE; 170cdbdb648Spbrook 171423f0742Spbrook bh = qemu_bh_new(arm_timer_tick, s); 172423f0742Spbrook s->timer = ptimer_init(bh); 173eecd33a5SJuan Quintela vmstate_register(NULL, -1, &vmstate_arm_timer, s); 174cdbdb648Spbrook return s; 175cdbdb648Spbrook } 176cdbdb648Spbrook 177cdbdb648Spbrook /* ARM PrimeCell SP804 dual timer module. 1787b4252e8SPeter Chubb * Docs at 1797b4252e8SPeter Chubb * http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0271d/index.html 1807b4252e8SPeter Chubb */ 181cdbdb648Spbrook 182*1024d7f0SAndreas Färber typedef struct SP804State { 1836a824ec3SPaul Brook SysBusDevice busdev; 184e219dea2SAvi Kivity MemoryRegion iomem; 1856a824ec3SPaul Brook arm_timer_state *timer[2]; 186104a26a2SMark Langsdorf uint32_t freq0, freq1; 187cdbdb648Spbrook int level[2]; 188d537cf6cSpbrook qemu_irq irq; 189*1024d7f0SAndreas Färber } SP804State; 190cdbdb648Spbrook 1917b4252e8SPeter Chubb static const uint8_t sp804_ids[] = { 1927b4252e8SPeter Chubb /* Timer ID */ 1937b4252e8SPeter Chubb 0x04, 0x18, 0x14, 0, 1947b4252e8SPeter Chubb /* PrimeCell ID */ 1957b4252e8SPeter Chubb 0xd, 0xf0, 0x05, 0xb1 1967b4252e8SPeter Chubb }; 1977b4252e8SPeter Chubb 198d537cf6cSpbrook /* Merge the IRQs from the two component devices. */ 199cdbdb648Spbrook static void sp804_set_irq(void *opaque, int irq, int level) 200cdbdb648Spbrook { 201*1024d7f0SAndreas Färber SP804State *s = (SP804State *)opaque; 202cdbdb648Spbrook 203cdbdb648Spbrook s->level[irq] = level; 204d537cf6cSpbrook qemu_set_irq(s->irq, s->level[0] || s->level[1]); 205cdbdb648Spbrook } 206cdbdb648Spbrook 207a8170e5eSAvi Kivity static uint64_t sp804_read(void *opaque, hwaddr offset, 208e219dea2SAvi Kivity unsigned size) 209cdbdb648Spbrook { 210*1024d7f0SAndreas Färber SP804State *s = (SP804State *)opaque; 211cdbdb648Spbrook 212cdbdb648Spbrook if (offset < 0x20) { 213cdbdb648Spbrook return arm_timer_read(s->timer[0], offset); 2147b4252e8SPeter Chubb } 2157b4252e8SPeter Chubb if (offset < 0x40) { 216cdbdb648Spbrook return arm_timer_read(s->timer[1], offset - 0x20); 217cdbdb648Spbrook } 2187b4252e8SPeter Chubb 2197b4252e8SPeter Chubb /* TimerPeriphID */ 2207b4252e8SPeter Chubb if (offset >= 0xfe0 && offset <= 0xffc) { 2217b4252e8SPeter Chubb return sp804_ids[(offset - 0xfe0) >> 2]; 2227b4252e8SPeter Chubb } 2237b4252e8SPeter Chubb 2247b4252e8SPeter Chubb switch (offset) { 2257b4252e8SPeter Chubb /* Integration Test control registers, which we won't support */ 2267b4252e8SPeter Chubb case 0xf00: /* TimerITCR */ 2277b4252e8SPeter Chubb case 0xf04: /* TimerITOP (strictly write only but..) */ 228edb94a41SPeter Maydell qemu_log_mask(LOG_UNIMP, 229edb94a41SPeter Maydell "%s: integration test registers unimplemented\n", 230edb94a41SPeter Maydell __func__); 2317b4252e8SPeter Chubb return 0; 2327b4252e8SPeter Chubb } 2337b4252e8SPeter Chubb 234edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, 235edb94a41SPeter Maydell "%s: Bad offset %x\n", __func__, (int)offset); 2367b4252e8SPeter Chubb return 0; 237cdbdb648Spbrook } 238cdbdb648Spbrook 239a8170e5eSAvi Kivity static void sp804_write(void *opaque, hwaddr offset, 240e219dea2SAvi Kivity uint64_t value, unsigned size) 241cdbdb648Spbrook { 242*1024d7f0SAndreas Färber SP804State *s = (SP804State *)opaque; 243cdbdb648Spbrook 244cdbdb648Spbrook if (offset < 0x20) { 245cdbdb648Spbrook arm_timer_write(s->timer[0], offset, value); 2467b4252e8SPeter Chubb return; 247cdbdb648Spbrook } 2487b4252e8SPeter Chubb 2497b4252e8SPeter Chubb if (offset < 0x40) { 2507b4252e8SPeter Chubb arm_timer_write(s->timer[1], offset - 0x20, value); 2517b4252e8SPeter Chubb return; 2527b4252e8SPeter Chubb } 2537b4252e8SPeter Chubb 2547b4252e8SPeter Chubb /* Technically we could be writing to the Test Registers, but not likely */ 255edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, "%s: Bad offset %x\n", 256edb94a41SPeter Maydell __func__, (int)offset); 257cdbdb648Spbrook } 258cdbdb648Spbrook 259e219dea2SAvi Kivity static const MemoryRegionOps sp804_ops = { 260e219dea2SAvi Kivity .read = sp804_read, 261e219dea2SAvi Kivity .write = sp804_write, 262e219dea2SAvi Kivity .endianness = DEVICE_NATIVE_ENDIAN, 263cdbdb648Spbrook }; 264cdbdb648Spbrook 26581986ac4SJuan Quintela static const VMStateDescription vmstate_sp804 = { 26681986ac4SJuan Quintela .name = "sp804", 26781986ac4SJuan Quintela .version_id = 1, 26881986ac4SJuan Quintela .minimum_version_id = 1, 26981986ac4SJuan Quintela .minimum_version_id_old = 1, 27081986ac4SJuan Quintela .fields = (VMStateField[]) { 271*1024d7f0SAndreas Färber VMSTATE_INT32_ARRAY(level, SP804State, 2), 27281986ac4SJuan Quintela VMSTATE_END_OF_LIST() 27323e39294Spbrook } 27481986ac4SJuan Quintela }; 27523e39294Spbrook 27681a322d4SGerd Hoffmann static int sp804_init(SysBusDevice *dev) 277cdbdb648Spbrook { 278*1024d7f0SAndreas Färber SP804State *s = FROM_SYSBUS(SP804State, dev); 279d537cf6cSpbrook qemu_irq *qi; 280cdbdb648Spbrook 281d537cf6cSpbrook qi = qemu_allocate_irqs(sp804_set_irq, s, 2); 2826a824ec3SPaul Brook sysbus_init_irq(dev, &s->irq); 283104a26a2SMark Langsdorf s->timer[0] = arm_timer_init(s->freq0); 284104a26a2SMark Langsdorf s->timer[1] = arm_timer_init(s->freq1); 2856a824ec3SPaul Brook s->timer[0]->irq = qi[0]; 2866a824ec3SPaul Brook s->timer[1]->irq = qi[1]; 287853dca12SPaolo Bonzini memory_region_init_io(&s->iomem, OBJECT(s), &sp804_ops, s, 288853dca12SPaolo Bonzini "sp804", 0x1000); 289750ecd44SAvi Kivity sysbus_init_mmio(dev, &s->iomem); 29081986ac4SJuan Quintela vmstate_register(&dev->qdev, -1, &vmstate_sp804, s); 29181a322d4SGerd Hoffmann return 0; 292cdbdb648Spbrook } 293cdbdb648Spbrook 294cdbdb648Spbrook /* Integrator/CP timer module. */ 295cdbdb648Spbrook 296cdbdb648Spbrook typedef struct { 2976a824ec3SPaul Brook SysBusDevice busdev; 298e219dea2SAvi Kivity MemoryRegion iomem; 2996a824ec3SPaul Brook arm_timer_state *timer[3]; 300cdbdb648Spbrook } icp_pit_state; 301cdbdb648Spbrook 302a8170e5eSAvi Kivity static uint64_t icp_pit_read(void *opaque, hwaddr offset, 303e219dea2SAvi Kivity unsigned size) 304cdbdb648Spbrook { 305cdbdb648Spbrook icp_pit_state *s = (icp_pit_state *)opaque; 306cdbdb648Spbrook int n; 307cdbdb648Spbrook 308cdbdb648Spbrook /* ??? Don't know the PrimeCell ID for this device. */ 309cdbdb648Spbrook n = offset >> 8; 310ee71c984SPeter Maydell if (n > 2) { 311edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, "%s: Bad timer %d\n", __func__, n); 3122ac71179SPaul Brook } 313cdbdb648Spbrook 314cdbdb648Spbrook return arm_timer_read(s->timer[n], offset & 0xff); 315cdbdb648Spbrook } 316cdbdb648Spbrook 317a8170e5eSAvi Kivity static void icp_pit_write(void *opaque, hwaddr offset, 318e219dea2SAvi Kivity uint64_t value, unsigned size) 319cdbdb648Spbrook { 320cdbdb648Spbrook icp_pit_state *s = (icp_pit_state *)opaque; 321cdbdb648Spbrook int n; 322cdbdb648Spbrook 323cdbdb648Spbrook n = offset >> 8; 324ee71c984SPeter Maydell if (n > 2) { 325edb94a41SPeter Maydell qemu_log_mask(LOG_GUEST_ERROR, "%s: Bad timer %d\n", __func__, n); 3262ac71179SPaul Brook } 327cdbdb648Spbrook 328cdbdb648Spbrook arm_timer_write(s->timer[n], offset & 0xff, value); 329cdbdb648Spbrook } 330cdbdb648Spbrook 331e219dea2SAvi Kivity static const MemoryRegionOps icp_pit_ops = { 332e219dea2SAvi Kivity .read = icp_pit_read, 333e219dea2SAvi Kivity .write = icp_pit_write, 334e219dea2SAvi Kivity .endianness = DEVICE_NATIVE_ENDIAN, 335cdbdb648Spbrook }; 336cdbdb648Spbrook 33781a322d4SGerd Hoffmann static int icp_pit_init(SysBusDevice *dev) 338cdbdb648Spbrook { 3396a824ec3SPaul Brook icp_pit_state *s = FROM_SYSBUS(icp_pit_state, dev); 340cdbdb648Spbrook 341cdbdb648Spbrook /* Timer 0 runs at the system clock speed (40MHz). */ 3426a824ec3SPaul Brook s->timer[0] = arm_timer_init(40000000); 343cdbdb648Spbrook /* The other two timers run at 1MHz. */ 3446a824ec3SPaul Brook s->timer[1] = arm_timer_init(1000000); 3456a824ec3SPaul Brook s->timer[2] = arm_timer_init(1000000); 3466a824ec3SPaul Brook 3476a824ec3SPaul Brook sysbus_init_irq(dev, &s->timer[0]->irq); 3486a824ec3SPaul Brook sysbus_init_irq(dev, &s->timer[1]->irq); 3496a824ec3SPaul Brook sysbus_init_irq(dev, &s->timer[2]->irq); 350cdbdb648Spbrook 351853dca12SPaolo Bonzini memory_region_init_io(&s->iomem, OBJECT(s), &icp_pit_ops, s, 352853dca12SPaolo Bonzini "icp_pit", 0x1000); 353750ecd44SAvi Kivity sysbus_init_mmio(dev, &s->iomem); 35423e39294Spbrook /* This device has no state to save/restore. The component timers will 35523e39294Spbrook save themselves. */ 35681a322d4SGerd Hoffmann return 0; 357cdbdb648Spbrook } 3586a824ec3SPaul Brook 359999e12bbSAnthony Liguori static void icp_pit_class_init(ObjectClass *klass, void *data) 360999e12bbSAnthony Liguori { 361999e12bbSAnthony Liguori SysBusDeviceClass *sdc = SYS_BUS_DEVICE_CLASS(klass); 362999e12bbSAnthony Liguori 363999e12bbSAnthony Liguori sdc->init = icp_pit_init; 364999e12bbSAnthony Liguori } 365999e12bbSAnthony Liguori 3668c43a6f0SAndreas Färber static const TypeInfo icp_pit_info = { 367999e12bbSAnthony Liguori .name = "integrator_pit", 36839bffca2SAnthony Liguori .parent = TYPE_SYS_BUS_DEVICE, 36939bffca2SAnthony Liguori .instance_size = sizeof(icp_pit_state), 370999e12bbSAnthony Liguori .class_init = icp_pit_class_init, 371999e12bbSAnthony Liguori }; 372999e12bbSAnthony Liguori 37339bffca2SAnthony Liguori static Property sp804_properties[] = { 374*1024d7f0SAndreas Färber DEFINE_PROP_UINT32("freq0", SP804State, freq0, 1000000), 375*1024d7f0SAndreas Färber DEFINE_PROP_UINT32("freq1", SP804State, freq1, 1000000), 37639bffca2SAnthony Liguori DEFINE_PROP_END_OF_LIST(), 37739bffca2SAnthony Liguori }; 37839bffca2SAnthony Liguori 379999e12bbSAnthony Liguori static void sp804_class_init(ObjectClass *klass, void *data) 380999e12bbSAnthony Liguori { 381999e12bbSAnthony Liguori SysBusDeviceClass *sdc = SYS_BUS_DEVICE_CLASS(klass); 38239bffca2SAnthony Liguori DeviceClass *k = DEVICE_CLASS(klass); 383999e12bbSAnthony Liguori 384999e12bbSAnthony Liguori sdc->init = sp804_init; 38539bffca2SAnthony Liguori k->props = sp804_properties; 386999e12bbSAnthony Liguori } 387999e12bbSAnthony Liguori 3888c43a6f0SAndreas Färber static const TypeInfo sp804_info = { 389999e12bbSAnthony Liguori .name = "sp804", 39039bffca2SAnthony Liguori .parent = TYPE_SYS_BUS_DEVICE, 391*1024d7f0SAndreas Färber .instance_size = sizeof(SP804State), 392999e12bbSAnthony Liguori .class_init = sp804_class_init, 393999e12bbSAnthony Liguori }; 394999e12bbSAnthony Liguori 39583f7d43aSAndreas Färber static void arm_timer_register_types(void) 3966a824ec3SPaul Brook { 39739bffca2SAnthony Liguori type_register_static(&icp_pit_info); 39839bffca2SAnthony Liguori type_register_static(&sp804_info); 3996a824ec3SPaul Brook } 4006a824ec3SPaul Brook 40183f7d43aSAndreas Färber type_init(arm_timer_register_types) 402