static void spapr_rng_class_init(ObjectClass *oc, void *data)

{

    DeviceClass *dc = DEVICE_CLASS(oc);



    dc->realize = spapr_rng_realize;

    set_bit(DEVICE_CATEGORY_MISC, dc->categories);

    dc->props = spapr_rng_properties;


}
static void spapr_rng_class_init(ObjectClass *oc, void *data)

{

    DeviceClass *dc = DEVICE_CLASS(oc);



    dc->realize = spapr_rng_realize;

    set_bit(DEVICE_CATEGORY_MISC, dc->categories);

    dc->props = spapr_rng_properties;


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

{

    DeviceClass *dc = DEVICE_CLASS(VAR_0);



    dc->realize = spapr_rng_realize;

    set_bit(DEVICE_CATEGORY_MISC, dc->categories);

    dc->props = spapr_rng_properties;


}
static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)
{ DeviceClass *dc = DEVICE_CLASS(VAR_0); dc->realize = spapr_rng_realize; set_bit(DEVICE_CATEGORY_MISC, dc->categories); dc->props = spapr_rng_properties; }