static void hpet_device_class_init(ObjectClass *klass, void *data)

{

    DeviceClass *dc = DEVICE_CLASS(klass);



    dc->realize = hpet_realize;

    dc->reset = hpet_reset;

    dc->vmsd = &vmstate_hpet;

    dc->props = hpet_device_properties;






}
static void hpet_device_class_init(ObjectClass *klass, void *data)

{

    DeviceClass *dc = DEVICE_CLASS(klass);



    dc->realize = hpet_realize;

    dc->reset = hpet_reset;

    dc->vmsd = &vmstate_hpet;

    dc->props = hpet_device_properties;






}
static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)

{

    DeviceClass *dc = DEVICE_CLASS(VAR_0);



    dc->realize = hpet_realize;

    dc->reset = hpet_reset;

    dc->vmsd = &vmstate_hpet;

    dc->props = hpet_device_properties;






}
static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)
{ DeviceClass *dc = DEVICE_CLASS(VAR_0); dc->realize = hpet_realize; dc->reset = hpet_reset; dc->vmsd = &vmstate_hpet; dc->props = hpet_device_properties; }