GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use the debugging functions to print out the tree and resources. 

Signed-off-by: Myles Watson <mylesgw@gmail.com>
Acked-by: Carl-Daniel Hailfinger <c-d.hailfinger.devel.2006@gmx.net>


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@4271 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
This commit is contained in:
Myles Watson 2009-05-12 13:43:34 +00:00
parent bb3d8128ed
commit cd5d7566d3
2 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/devices/device.c
View File

@ -618,6 +618,12 @@ void dev_enumerate(void)
unsigned subordinate; unsigned subordinate;
printk_info("Enumerating buses...\n"); printk_info("Enumerating buses...\n");
root = &dev_root; root = &dev_root;
show_all_devs(BIOS_DEBUG, "Before Phase 3.");
printk_debug("Compare with tree...\n");
show_devs_tree(root, BIOS_DEBUG, 0, 0);
if (root->chip_ops && root->chip_ops->enable_dev) { if (root->chip_ops && root->chip_ops->enable_dev) {
root->chip_ops->enable_dev(root); root->chip_ops->enable_dev(root);
} }
@ -651,6 +657,9 @@ void dev_configure(void)
printk_info("Allocating resources...\n"); printk_info("Allocating resources...\n");
root = &dev_root; root = &dev_root;
print_resource_tree(root, BIOS_DEBUG, "Original.");
if (!root->ops || !root->ops->read_resources) { if (!root->ops || !root->ops->read_resources) {
printk_err("dev_root missing read_resources\n"); printk_err("dev_root missing read_resources\n");
return; return;
@ -664,6 +673,8 @@ void dev_configure(void)
root->ops->read_resources(root); root->ops->read_resources(root);
printk_info("Done reading resources.\n"); printk_info("Done reading resources.\n");
print_resource_tree(root, BIOS_DEBUG, "After reading.");
/* Get the resources */ /* Get the resources */
io = &root->resource[0]; io = &root->resource[0];
mem = &root->resource[1]; mem = &root->resource[1];
@ -681,6 +692,7 @@ void dev_configure(void)
#if CONFIG_CONSOLE_VGA == 1 #if CONFIG_CONSOLE_VGA == 1
/* Allocate the VGA I/O resource.. */ /* Allocate the VGA I/O resource.. */
allocate_vga_resource(); allocate_vga_resource();
print_resource_tree(root, BIOS_DEBUG, "After VGA.");
#endif #endif
/* Store the computed resource allocations into device registers ... */ /* Store the computed resource allocations into device registers ... */
@ -691,6 +703,7 @@ void dev_configure(void)
mem->flags |= IORESOURCE_STORED; mem->flags |= IORESOURCE_STORED;
report_resource_stored(root, mem, ""); report_resource_stored(root, mem, "");
#endif #endif
print_resource_tree(root, BIOS_DEBUG, "After assigning values.");
printk_info("Done allocating resources.\n"); printk_info("Done allocating resources.\n");
} }
@ -737,5 +750,6 @@ void dev_initialize(void)
} }
} }
printk_info("Devices initialized\n"); printk_info("Devices initialized\n");
show_all_devs(BIOS_DEBUG, "After init.");
} }

1
src/include/device/device.h
View File

@ -126,7 +126,6 @@ device_t dev_find_slot (unsigned int bus, unsigned int devfn);
device_t dev_find_slot_on_smbus (unsigned int bus, unsigned int addr); device_t dev_find_slot_on_smbus (unsigned int bus, unsigned int addr);
/* Debug functions */ /* Debug functions */
void resource_tree(struct device * root, int debug_level, int depth);
void print_resource_tree(struct device * root, int debug_level, void print_resource_tree(struct device * root, int debug_level,
const char *msg); const char *msg);
void show_devs_tree(struct device *dev, int debug_level, int depth, int linknum); void show_devs_tree(struct device *dev, int debug_level, int depth, int linknum);