hw/hpet.c@hpet_init;
hw/hpet.c@timer_int_route;
hw/hpet.c@hpet_ram_readl;
hw/hpet.c@hpet_ram_writel;
hw/hpet.c@hpet_timer;
hw/hpet.c@hpet_get_ticks;
hw/hpet.c@HPETState;
hw/hpet.c@update_irq;
hw/hpet_emul.h@HPET_TN_TYPE_LEVEL;
hw/hpet.c@hpet_in_legacy_mode;
hw/hpet_emul.h@HPET_TIMER_TYPE_LEVEL;
