static KVMSlot *kvm_alloc_slot(KVMState *s)

{

    int i;



    for (i = 0; i < ARRAY_SIZE(s->slots); i++) {

        /* KVM private memory slots */

        if (i >= 8 && i < 12)

            continue;

        if (s->slots[i].memory_size == 0)

            return &s->slots[i];

    }



    fprintf(stderr, "%s: no free slot available\n", __func__);

    abort();

}

static KVMSlot *kvm_alloc_slot(KVMState *s)

{

    int i;



    for (i = 0; i < ARRAY_SIZE(s->slots); i++) {

        

        if (i >= 8 && i < 12)

            continue;

        if (s->slots[i].memory_size == 0)

            return &s->slots[i];

    }



    fprintf(stderr, "%s: no free slot available\n", __func__);

    abort();

}

static KVMSlot *FUNC_0(KVMState *s)

{

    int VAR_0;



    for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(s->slots); VAR_0++) {

        

        if (VAR_0 >= 8 && VAR_0 < 12)

            continue;

        if (s->slots[VAR_0].memory_size == 0)

            return &s->slots[VAR_0];

    }



    fprintf(stderr, "%s: no free slot available\n", __func__);

    abort();

}

static KVMSlot *FUNC_0(KVMState *s)
{ int VAR_0; for (VAR_0 = 0; VAR_0 < ARRAY_SIZE(s->slots); VAR_0++) { if (VAR_0 >= 8 && VAR_0 < 12)
continue; if (s->slots[VAR_0].memory_size == 0)
return &s->slots[VAR_0]; } fprintf(stderr, "%s: no free slot available\n", __func__); abort(); }