void raise_irq_cpu_hotplug(void)

{

    qemu_irq_raise(irq_cpu_hotplug);

}

void raise_irq_cpu_hotplug(void)

{

    qemu_irq_raise(irq_cpu_hotplug);

}

    qemu_irq_raise(irq_cpu_hotplug);
void FUNC_0(void)

{

    qemu_irq_raise(irq_cpu_hotplug);

}

void FUNC_0(void)
{ qemu_irq_raise(irq_cpu_hotplug); }