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

{

    BusClass *k = BUS_CLASS(klass);



    /* AUXSlave has an MMIO so we need to change the way we print information

     * in monitor.

     */

    k->print_dev = aux_slave_dev_print;

}

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

{

    BusClass *k = BUS_CLASS(klass);



    





    k->print_dev = aux_slave_dev_print;

}

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

{

    BusClass *k = BUS_CLASS(VAR_0);



    





    k->print_dev = aux_slave_dev_print;

}

static void FUNC_0(ObjectClass *VAR_0, void *VAR_1)
{ BusClass *k = BUS_CLASS(VAR_0); k->print_dev = aux_slave_dev_print; }