DEBUG_INFO
DPRINTF(DEBUG_INFO, ("switching to VGA mode"));
DPRINTF(DEBUG_INFO, ("switching to VESA mode"));
DPRINTF(DEBUG_INFO, ("fbuf frame buffer base: %p [sz %lu]",
uintptr_t debug_info = DEBUG_INFO;
dbg->de_sect_name_idx[DEBUG_INFO],
int elfsectno_of_debug_info = dbg->de_elf_sects[DEBUG_INFO];
int elfsectno_of_debug_info = dbg->de_elf_sects[DEBUG_INFO];
elfsectno_of_debug_info = dbg->de_elf_sects[DEBUG_INFO];
DEBUG_INFO,
DEBUG_INFO,
res = string_attr_init(dbg, DEBUG_INFO, string_attr_count);
string_attr_add(dbg, DEBUG_INFO, string_attr_offset, curattr);
case DEBUG_INFO:
if (debug_sect->ds_elf_sect_no == dbg->de_elf_sects[DEBUG_INFO]) {
dbg->de_sect_name_idx[DEBUG_INFO],