764 |
static void mem_print(uint32_t *pstart, int *plast_prot, |
static void mem_print(uint32_t *pstart, int *plast_prot, |
765 |
uint32_t end, int prot) |
uint32_t end, int prot) |
766 |
{ |
{ |
767 |
if (prot != *plast_prot) { |
int prot1; |
768 |
|
prot1 = *plast_prot; |
769 |
|
if (prot != prot1) { |
770 |
if (*pstart != -1) { |
if (*pstart != -1) { |
771 |
term_printf("%08x-%08x %08x %c%c%c\n", |
term_printf("%08x-%08x %08x %c%c%c\n", |
772 |
*pstart, end, end - *pstart, |
*pstart, end, end - *pstart, |
773 |
prot & PG_USER_MASK ? 'u' : '-', |
prot1 & PG_USER_MASK ? 'u' : '-', |
774 |
'r', |
'r', |
775 |
prot & PG_RW_MASK ? 'w' : '-'); |
prot1 & PG_RW_MASK ? 'w' : '-'); |
776 |
} |
} |
777 |
if (prot != 0) |
if (prot != 0) |
778 |
*pstart = end; |
*pstart = end; |