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

{

    DeviceClass *dc = DEVICE_CLASS(klass);

    sPAPRPHBClass *spc = SPAPR_PCI_HOST_BRIDGE_CLASS(klass);



    dc->props = spapr_phb_vfio_properties;

    spc->finish_realize = spapr_phb_vfio_finish_realize;

}

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

{

    DeviceClass *dc = DEVICE_CLASS(klass);

    sPAPRPHBClass *spc = SPAPR_PCI_HOST_BRIDGE_CLASS(klass);



    dc->props = spapr_phb_vfio_properties;

    spc->finish_realize = spapr_phb_vfio_finish_realize;

}

    sPAPRPHBClass *spc = SPAPR_PCI_HOST_BRIDGE_CLASS(klass);     spc->finish_realize = spapr_phb_vfio_finish_realize;
static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)

{

    DeviceClass *dc = DEVICE_CLASS(VAR_0);

    sPAPRPHBClass *spc = SPAPR_PCI_HOST_BRIDGE_CLASS(VAR_0);



    dc->props = spapr_phb_vfio_properties;

    spc->finish_realize = spapr_phb_vfio_finish_realize;

}

static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)
{ DeviceClass *dc = DEVICE_CLASS(VAR_0); sPAPRPHBClass *spc = SPAPR_PCI_HOST_BRIDGE_CLASS(VAR_0); dc->props = spapr_phb_vfio_properties; spc->finish_realize = spapr_phb_vfio_finish_realize; }