void pc_cmos_set_s3_resume(void *opaque, int irq, int level)

{

    ISADevice *s = opaque;



    if (level) {

        rtc_set_memory(s, 0xF, 0xFE);

    }

}

void pc_cmos_set_s3_resume(void *opaque, int irq, int level)

{

    ISADevice *s = opaque;



    if (level) {

        rtc_set_memory(s, 0xF, 0xFE);

    }

}

void FUNC_0(void *VAR_0, int VAR_1, int VAR_2)

{

    ISADevice *s = VAR_0;



    if (VAR_2) {

        rtc_set_memory(s, 0xF, 0xFE);

    }

}

void FUNC_0(void *VAR_0, int VAR_1, int VAR_2)
{ ISADevice *s = VAR_0; if (VAR_2) { rtc_set_memory(s, 0xF, 0xFE); } }