int s390_cpu_write_elf64_note(WriteCoreDumpFunction f, CPUState *cs,

                              int cpuid, void *opaque)

{

    S390CPU *cpu = S390_CPU(cs);

    return s390x_write_all_elf64_notes("CORE", f, cpu, cpuid, opaque);

}

int s390_cpu_write_elf64_note(WriteCoreDumpFunction f, CPUState *cs,

                              int cpuid, void *opaque)

{

    S390CPU *cpu = S390_CPU(cs);

    return s390x_write_all_elf64_notes("CORE", f, cpu, cpuid, opaque);

}

    return s390x_write_all_elf64_notes("CORE", f, cpu, cpuid, opaque);
int FUNC_0(WriteCoreDumpFunction VAR_0, CPUState *VAR_1,

                              int VAR_2, void *VAR_3)

{

    S390CPU *cpu = S390_CPU(VAR_1);

    return s390x_write_all_elf64_notes("CORE", VAR_0, cpu, VAR_2, VAR_3);

}

int FUNC_0(WriteCoreDumpFunction VAR_0, CPUState *VAR_1,
int VAR_2, void *VAR_3)
{ S390CPU *cpu = S390_CPU(VAR_1); return s390x_write_all_elf64_notes("CORE", VAR_0, cpu, VAR_2, VAR_3); }