static inline void check_alignment(CPUS390XState *env, uint64_t v,

                                   int wordsize, uintptr_t ra)

{

    if (v % wordsize) {

        CPUState *cs = CPU(s390_env_get_cpu(env));

        cpu_restore_state(cs, ra);

        program_interrupt(env, PGM_SPECIFICATION, 6);

    }

}

static inline void check_alignment(CPUS390XState *env, uint64_t v,

                                   int wordsize, uintptr_t ra)

{

    if (v % wordsize) {

        CPUState *cs = CPU(s390_env_get_cpu(env));

        cpu_restore_state(cs, ra);

        program_interrupt(env, PGM_SPECIFICATION, 6);

    }

}

static inline void FUNC_0(CPUS390XState *VAR_0, uint64_t VAR_1,

                                   int VAR_2, uintptr_t VAR_3)

{

    if (VAR_1 % VAR_2) {

        CPUState *cs = CPU(s390_env_get_cpu(VAR_0));

        cpu_restore_state(cs, VAR_3);

        program_interrupt(VAR_0, PGM_SPECIFICATION, 6);

    }

}

static inline void FUNC_0(CPUS390XState *VAR_0, uint64_t VAR_1,
int VAR_2, uintptr_t VAR_3)
{ if (VAR_1 % VAR_2) { CPUState *cs = CPU(s390_env_get_cpu(VAR_0)); cpu_restore_state(cs, VAR_3); program_interrupt(VAR_0, PGM_SPECIFICATION, 6); } }