56
60
static const unsigned char pl031_id[] = {
57
61
0x31, 0x10, 0x14, 0x00, /* Device ID */
58
62
0x0d, 0xf0, 0x05, 0xb1 /* Cell ID */
63
67
qemu_set_irq(s->irq, s->is & s->im);
66
70
static void pl031_interrupt(void * opaque)
71
75
DPRINTF("Alarm raised\n");
77
81
int64_t now = qemu_get_clock_ns(rtc_clock);
78
82
return s->tick_offset + now / get_ticks_per_sec();