static void tlb_info(Monitor *mon)

{

    CPUState *env;

    int l1, l2;

    uint32_t pgd, pde, pte;



    env = mon_get_cpu();



    if (!(env->cr[0] & CR0_PG_MASK)) {

        monitor_printf(mon, "PG disabled\n");

        return;

    }

    pgd = env->cr[3] & ~0xfff;

    for(l1 = 0; l1 < 1024; l1++) {

        cpu_physical_memory_read(pgd + l1 * 4, (uint8_t *)&pde, 4);

        pde = le32_to_cpu(pde);

        if (pde & PG_PRESENT_MASK) {

            if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) {

                print_pte(mon, (l1 << 22), pde, ~((1 << 20) - 1));

            } else {

                for(l2 = 0; l2 < 1024; l2++) {

                    cpu_physical_memory_read((pde & ~0xfff) + l2 * 4,

                                             (uint8_t *)&pte, 4);

                    pte = le32_to_cpu(pte);

                    if (pte & PG_PRESENT_MASK) {

                        print_pte(mon, (l1 << 22) + (l2 << 12),

                                  pte & ~PG_PSE_MASK,

                                  ~0xfff);

                    }

                }

            }

        }

    }

}

static void tlb_info(Monitor *mon)

{

    CPUState *env;

    int l1, l2;

    uint32_t pgd, pde, pte;



    env = mon_get_cpu();



    if (!(env->cr[0] & CR0_PG_MASK)) {

        monitor_printf(mon, "PG disabled\n");

        return;

    }

    pgd = env->cr[3] & ~0xfff;

    for(l1 = 0; l1 < 1024; l1++) {

        cpu_physical_memory_read(pgd + l1 * 4, (uint8_t *)&pde, 4);

        pde = le32_to_cpu(pde);

        if (pde & PG_PRESENT_MASK) {

            if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) {

                print_pte(mon, (l1 << 22), pde, ~((1 << 20) - 1));

            } else {

                for(l2 = 0; l2 < 1024; l2++) {

                    cpu_physical_memory_read((pde & ~0xfff) + l2 * 4,

                                             (uint8_t *)&pte, 4);

                    pte = le32_to_cpu(pte);

                    if (pte & PG_PRESENT_MASK) {

                        print_pte(mon, (l1 << 22) + (l2 << 12),

                                  pte & ~PG_PSE_MASK,

                                  ~0xfff);

                    }

                }

            }

        }

    }

}

static void tlb_info(Monitor *mon)     CPUState *env;     env = mon_get_cpu();     if (!(env->cr[0] & CR0_PG_MASK)) {         monitor_printf(mon, "PG disabled\n");                 print_pte(mon, (l1 << 22), pde, ~((1 << 20) - 1));
static void FUNC_0(Monitor *VAR_0)

{

    CPUState *env;

    int VAR_1, VAR_2;

    uint32_t pgd, pde, pte;



    env = mon_get_cpu();



    if (!(env->cr[0] & CR0_PG_MASK)) {

        monitor_printf(VAR_0, "PG disabled\n");

        return;

    }

    pgd = env->cr[3] & ~0xfff;

    for(VAR_1 = 0; VAR_1 < 1024; VAR_1++) {

        cpu_physical_memory_read(pgd + VAR_1 * 4, (uint8_t *)&pde, 4);

        pde = le32_to_cpu(pde);

        if (pde & PG_PRESENT_MASK) {

            if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) {

                print_pte(VAR_0, (VAR_1 << 22), pde, ~((1 << 20) - 1));

            } else {

                for(VAR_2 = 0; VAR_2 < 1024; VAR_2++) {

                    cpu_physical_memory_read((pde & ~0xfff) + VAR_2 * 4,

                                             (uint8_t *)&pte, 4);

                    pte = le32_to_cpu(pte);

                    if (pte & PG_PRESENT_MASK) {

                        print_pte(VAR_0, (VAR_1 << 22) + (VAR_2 << 12),

                                  pte & ~PG_PSE_MASK,

                                  ~0xfff);

                    }

                }

            }

        }

    }

}

static void FUNC_0(Monitor *VAR_0)
{ CPUState *env; int VAR_1, VAR_2; uint32_t pgd, pde, pte; env = mon_get_cpu(); if (!(env->cr[0] & CR0_PG_MASK)) { monitor_printf(VAR_0, "PG disabled\n"); return; } pgd = env->cr[3] & ~0xfff; for(VAR_1 = 0; VAR_1 < 1024; VAR_1++) { cpu_physical_memory_read(pgd + VAR_1 * 4, (uint8_t *)&pde, 4); pde = le32_to_cpu(pde); if (pde & PG_PRESENT_MASK) { if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { print_pte(VAR_0, (VAR_1 << 22), pde, ~((1 << 20) - 1)); } else { for(VAR_2 = 0; VAR_2 < 1024; VAR_2++) { cpu_physical_memory_read((pde & ~0xfff) + VAR_2 * 4,
(uint8_t *)&pte, 4); pte = le32_to_cpu(pte); if (pte & PG_PRESENT_MASK) { print_pte(VAR_0, (VAR_1 << 22) + (VAR_2 << 12),
pte & ~PG_PSE_MASK,
~0xfff); } } } } } }