void s390_program_interrupt(CPUS390XState *env, uint32_t code, int ilen,

                            uintptr_t ra)

{

#ifdef CONFIG_TCG

    S390CPU *cpu = s390_env_get_cpu(env);



    if (tcg_enabled()) {

        cpu_restore_state(CPU(cpu), ra);

    }

#endif

    program_interrupt(env, code, ilen);

}

void s390_program_interrupt(CPUS390XState *env, uint32_t code, int ilen,

                            uintptr_t ra)

{

#ifdef CONFIG_TCG

    S390CPU *cpu = s390_env_get_cpu(env);



    if (tcg_enabled()) {

        cpu_restore_state(CPU(cpu), ra);

    }

#endif

    program_interrupt(env, code, ilen);

}

void FUNC_0(CPUS390XState *VAR_0, uint32_t VAR_1, int VAR_2,

                            uintptr_t VAR_3)

{

#ifdef CONFIG_TCG

    S390CPU *cpu = s390_env_get_cpu(VAR_0);



    if (tcg_enabled()) {

        cpu_restore_state(CPU(cpu), VAR_3);

    }

#endif

    program_interrupt(VAR_0, VAR_1, VAR_2);

}

void FUNC_0(CPUS390XState *VAR_0, uint32_t VAR_1, int VAR_2,
uintptr_t VAR_3)
{ #ifdef CONFIG_TCG
S390CPU *cpu = s390_env_get_cpu(VAR_0); if (tcg_enabled()) { cpu_restore_state(CPU(cpu), VAR_3); } #endif
program_interrupt(VAR_0, VAR_1, VAR_2); }