static void machine_set_kernel_irqchip(Object *obj, bool value, Error **errp)

{

    MachineState *ms = MACHINE(obj);



    ms->kernel_irqchip = value;

}

static void machine_set_kernel_irqchip(Object *obj, bool value, Error **errp)

{

    MachineState *ms = MACHINE(obj);



    ms->kernel_irqchip = value;

}

static void FUNC_0(Object *VAR_0, bool VAR_1, Error **VAR_2)

{

    MachineState *ms = MACHINE(VAR_0);



    ms->kernel_irqchip = VAR_1;

}

static void FUNC_0(Object *VAR_0, bool VAR_1, Error **VAR_2)
{ MachineState *ms = MACHINE(VAR_0); ms->kernel_irqchip = VAR_1; }