static void page_flush_tb(void)

{

    int i;



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

        page_flush_tb_1(V_L1_SHIFT / L2_BITS - 1, l1_map + i);

    }

}

static void page_flush_tb(void)

{

    int i;



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

        page_flush_tb_1(V_L1_SHIFT / L2_BITS - 1, l1_map + i);

    }

}

static void FUNC_0(void)

{

    int VAR_0;



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

        page_flush_tb_1(V_L1_SHIFT / L2_BITS - 1, l1_map + VAR_0);

    }

}

static void FUNC_0(void)
{ int VAR_0; for (VAR_0 = 0; VAR_0 < V_L1_SIZE; VAR_0++) { page_flush_tb_1(V_L1_SHIFT / L2_BITS - 1, l1_map + VAR_0); } }