static void print_pte(Monitor *mon, uint32_t addr, uint32_t pte, uint32_t mask)

{

    monitor_printf(mon, "%08x: %08x %c%c%c%c%c%c%c%c\n",

                   addr,

                   pte & mask,

                   pte & PG_GLOBAL_MASK ? 'G' : '-',

                   pte & PG_PSE_MASK ? 'P' : '-',

                   pte & PG_DIRTY_MASK ? 'D' : '-',

                   pte & PG_ACCESSED_MASK ? 'A' : '-',

                   pte & PG_PCD_MASK ? 'C' : '-',

                   pte & PG_PWT_MASK ? 'T' : '-',

                   pte & PG_USER_MASK ? 'U' : '-',

                   pte & PG_RW_MASK ? 'W' : '-');

}

static void print_pte(Monitor *mon, uint32_t addr, uint32_t pte, uint32_t mask)

{

    monitor_printf(mon, "%08x: %08x %c%c%c%c%c%c%c%c\n",

                   addr,

                   pte & mask,

                   pte & PG_GLOBAL_MASK ? 'G' : '-',

                   pte & PG_PSE_MASK ? 'P' : '-',

                   pte & PG_DIRTY_MASK ? 'D' : '-',

                   pte & PG_ACCESSED_MASK ? 'A' : '-',

                   pte & PG_PCD_MASK ? 'C' : '-',

                   pte & PG_PWT_MASK ? 'T' : '-',

                   pte & PG_USER_MASK ? 'U' : '-',

                   pte & PG_RW_MASK ? 'W' : '-');

}

static void print_pte(Monitor *mon, uint32_t addr, uint32_t pte, uint32_t mask)     monitor_printf(mon, "%08x: %08x %c%c%c%c%c%c%c%c\n",
static void FUNC_0(Monitor *VAR_0, uint32_t VAR_1, uint32_t VAR_2, uint32_t VAR_3)

{

    monitor_printf(VAR_0, "%08x: %08x %c%c%c%c%c%c%c%c\n",

                   VAR_1,

                   VAR_2 & VAR_3,

                   VAR_2 & PG_GLOBAL_MASK ? 'G' : '-',

                   VAR_2 & PG_PSE_MASK ? 'P' : '-',

                   VAR_2 & PG_DIRTY_MASK ? 'D' : '-',

                   VAR_2 & PG_ACCESSED_MASK ? 'A' : '-',

                   VAR_2 & PG_PCD_MASK ? 'C' : '-',

                   VAR_2 & PG_PWT_MASK ? 'T' : '-',

                   VAR_2 & PG_USER_MASK ? 'U' : '-',

                   VAR_2 & PG_RW_MASK ? 'W' : '-');

}

static void FUNC_0(Monitor *VAR_0, uint32_t VAR_1, uint32_t VAR_2, uint32_t VAR_3)
{ monitor_printf(VAR_0, "%08x: %08x %c%c%c%c%c%c%c%c\n",
VAR_1,
VAR_2 & VAR_3,
VAR_2 & PG_GLOBAL_MASK ? 'G' : '-',
VAR_2 & PG_PSE_MASK ? 'P' : '-',
VAR_2 & PG_DIRTY_MASK ? 'D' : '-',
VAR_2 & PG_ACCESSED_MASK ? 'A' : '-',
VAR_2 & PG_PCD_MASK ? 'C' : '-',
VAR_2 & PG_PWT_MASK ? 'T' : '-',
VAR_2 & PG_USER_MASK ? 'U' : '-',
VAR_2 & PG_RW_MASK ? 'W' : '-'); }