static void kqemu_reset_modified_ram_pages(void)

{

    int i;

    unsigned long page_index;



    for(i = 0; i < nb_modified_ram_pages; i++) {

        page_index = modified_ram_pages[i] >> TARGET_PAGE_BITS;

        modified_ram_pages_table[page_index] = 0;

    }

    nb_modified_ram_pages = 0;

}

static void kqemu_reset_modified_ram_pages(void)

{

    int i;

    unsigned long page_index;



    for(i = 0; i < nb_modified_ram_pages; i++) {

        page_index = modified_ram_pages[i] >> TARGET_PAGE_BITS;

        modified_ram_pages_table[page_index] = 0;

    }

    nb_modified_ram_pages = 0;

}

static void FUNC_0(void)

{

    int VAR_0;

    unsigned long VAR_1;



    for(VAR_0 = 0; VAR_0 < nb_modified_ram_pages; VAR_0++) {

        VAR_1 = modified_ram_pages[VAR_0] >> TARGET_PAGE_BITS;

        modified_ram_pages_table[VAR_1] = 0;

    }

    nb_modified_ram_pages = 0;

}

static void FUNC_0(void)
{ int VAR_0; unsigned long VAR_1; for(VAR_0 = 0; VAR_0 < nb_modified_ram_pages; VAR_0++) { VAR_1 = modified_ram_pages[VAR_0] >> TARGET_PAGE_BITS; modified_ram_pages_table[VAR_1] = 0; } nb_modified_ram_pages = 0; }