void kvm_setup_guest_memory(void *start, size_t size)

{

#ifdef CONFIG_VALGRIND_H

    VALGRIND_MAKE_MEM_DEFINED(start, size);

#endif

    if (!kvm_has_sync_mmu()) {

        int ret = qemu_madvise(start, size, QEMU_MADV_DONTFORK);



        if (ret) {

            perror("qemu_madvise");

            fprintf(stderr,

                    "Need MADV_DONTFORK in absence of synchronous KVM MMU\n");

            exit(1);

        }

    }

}

void kvm_setup_guest_memory(void *start, size_t size)

{

#ifdef CONFIG_VALGRIND_H

    VALGRIND_MAKE_MEM_DEFINED(start, size);

#endif

    if (!kvm_has_sync_mmu()) {

        int ret = qemu_madvise(start, size, QEMU_MADV_DONTFORK);



        if (ret) {

            perror("qemu_madvise");

            fprintf(stderr,

                    "Need MADV_DONTFORK in absence of synchronous KVM MMU\n");

            exit(1);

        }

    }

}

void FUNC_0(void *VAR_0, size_t VAR_1)

{

#ifdef CONFIG_VALGRIND_H

    VALGRIND_MAKE_MEM_DEFINED(VAR_0, VAR_1);

#endif

    if (!kvm_has_sync_mmu()) {

        int VAR_2 = qemu_madvise(VAR_0, VAR_1, QEMU_MADV_DONTFORK);



        if (VAR_2) {

            perror("qemu_madvise");

            fprintf(stderr,

                    "Need MADV_DONTFORK in absence of synchronous KVM MMU\n");

            exit(1);

        }

    }

}

void FUNC_0(void *VAR_0, size_t VAR_1)
{ #ifdef CONFIG_VALGRIND_H
VALGRIND_MAKE_MEM_DEFINED(VAR_0, VAR_1); #endif
if (!kvm_has_sync_mmu()) { int VAR_2 = qemu_madvise(VAR_0, VAR_1, QEMU_MADV_DONTFORK); if (VAR_2) { perror("qemu_madvise"); fprintf(stderr,
"Need MADV_DONTFORK in absence of synchronous KVM MMU\n"); exit(1); } } }