diff options
| author | Myles Watson <mylesgw@gmail.com> | 2009-05-12 13:43:34 +0000 |
|---|---|---|
| committer | Myles Watson <mylesgw@gmail.com> | 2009-05-12 13:43:34 +0000 |
| commit | cd5d7566d3378b268ad96c8dc986ebfc477573a0 (patch) | |
| tree | cfeaef41727aaea2fa4feae29ddd99d9041a18c1 /src/devices | |
| parent | bb3d8128ed41f14162daa2241eba824723bc84fc (diff) | |
| download | coreboot-cd5d7566d3378b268ad96c8dc986ebfc477573a0.tar.xz | |
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
Diffstat (limited to 'src/devices')
| -rw-r--r-- | src/devices/device.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/devices/device.c b/src/devices/device.c index 4a2ef12450..51a1203ec0 100644 --- a/src/devices/device.c +++ b/src/devices/device.c @@ -618,6 +618,12 @@ void dev_enumerate(void) unsigned subordinate; printk_info("Enumerating buses...\n"); 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) { root->chip_ops->enable_dev(root); } @@ -651,6 +657,9 @@ void dev_configure(void) printk_info("Allocating resources...\n"); root = &dev_root; + + print_resource_tree(root, BIOS_DEBUG, "Original."); + if (!root->ops || !root->ops->read_resources) { printk_err("dev_root missing read_resources\n"); return; @@ -664,6 +673,8 @@ void dev_configure(void) root->ops->read_resources(root); printk_info("Done reading resources.\n"); + print_resource_tree(root, BIOS_DEBUG, "After reading."); + /* Get the resources */ io = &root->resource[0]; mem = &root->resource[1]; @@ -681,6 +692,7 @@ void dev_configure(void) #if CONFIG_CONSOLE_VGA == 1 /* Allocate the VGA I/O resource.. */ allocate_vga_resource(); + print_resource_tree(root, BIOS_DEBUG, "After VGA."); #endif /* Store the computed resource allocations into device registers ... */ @@ -691,6 +703,7 @@ void dev_configure(void) mem->flags |= IORESOURCE_STORED; report_resource_stored(root, mem, ""); #endif + print_resource_tree(root, BIOS_DEBUG, "After assigning values."); printk_info("Done allocating resources.\n"); } @@ -737,5 +750,6 @@ void dev_initialize(void) } } printk_info("Devices initialized\n"); + show_all_devs(BIOS_DEBUG, "After init."); } |