static void pc_compat_0_13(MachineState *machine)

{

    pc_compat_1_2(machine);

    kvmclock_enabled = false;

}

static void pc_compat_0_13(MachineState *machine)

{

    pc_compat_1_2(machine);

    kvmclock_enabled = false;

}

static void FUNC_0(MachineState *VAR_0)

{

    pc_compat_1_2(VAR_0);

    kvmclock_enabled = false;

}

static void FUNC_0(MachineState *VAR_0)
{ pc_compat_1_2(VAR_0); kvmclock_enabled = false; }