sprint0
char *sprint0(int width, char prefix, char base, int value);
sprint0(8,'0','x', phys_page * nbpp));
sprint0(5,' ','d', (page_count*nbpp)>>10));
sprint0(8,'0','x', videomem_start));
printf(" at 0x%s", sprint0(8,'0','x', ROM_addr[count]));
sprint0(5,' ','d', (ROM_pages[count]*nbpp)>>10));
printf(" at 0x%s", sprint0(8,'0','x', IO_addr[count]));
sprint0(5,' ','d', (IO_pages[count]*nbpp)>>10));
printf(" at 0x%s", sprint0(8,'0','x', DRAM_addr[count]));
sprint0(5,' ','d', (DRAM_pages[count]*nbpp)>>10));
printf(" at 0x%s", sprint0(8,'0','x', VRAM_addr[count]));
sprint0(5,' ','d', (VRAM_pages[count]*nbpp)>>10));
printf(" at 0x%s", sprint0(8,'0','x', PODRAM_addr[count]));
sprint0(5,' ','d', (PODRAM_pages[count]*nbpp)>>10));