static void vapic_reset(DeviceState *dev)

{

    VAPICROMState *s = VAPIC(dev);



    if (s->state == VAPIC_ACTIVE) {

        s->state = VAPIC_STANDBY;

    }

    vapic_enable_tpr_reporting(false);

}

static void vapic_reset(DeviceState *dev)

{

    VAPICROMState *s = VAPIC(dev);



    if (s->state == VAPIC_ACTIVE) {

        s->state = VAPIC_STANDBY;

    }

    vapic_enable_tpr_reporting(false);

}

static void FUNC_0(DeviceState *VAR_0)

{

    VAPICROMState *s = VAPIC(VAR_0);



    if (s->state == VAPIC_ACTIVE) {

        s->state = VAPIC_STANDBY;

    }

    vapic_enable_tpr_reporting(false);

}

static void FUNC_0(DeviceState *VAR_0)
{ VAPICROMState *s = VAPIC(VAR_0); if (s->state == VAPIC_ACTIVE) { s->state = VAPIC_STANDBY; } vapic_enable_tpr_reporting(false); }