1 #include <console/console.h>
3 #include <arch/romcc_io.h>
7 #include <console/console.h>
9 #if CONFIG_DEBUG_RAM_SETUP
10 void dump_spd_registers(void)
13 printk(BIOS_DEBUG, "\n");
14 for(i = 0; i < DIMM_SOCKETS; i++) {
19 printk(BIOS_DEBUG, "DIMM %d: %02x", i, device);
20 for(j = 0; j < 256; j++) {
24 printk(BIOS_DEBUG, "\n%02x: ", j);
26 status = spd_read_byte(device, j);
28 printk(BIOS_DEBUG, "bad device\n");
32 printk(BIOS_DEBUG, "%02x ", byte);
34 printk(BIOS_DEBUG, "\n");
39 static void print_debug_pci_dev(unsigned dev)
42 print_debug_hex8((dev >> 16) & 0xff);
43 print_debug_char(':');
44 print_debug_hex8((dev >> 11) & 0x1f);
45 print_debug_char('.');
46 print_debug_hex8((dev >> 8) & 7);
49 void dump_pci_device(unsigned dev)
52 print_debug_pci_dev(dev);
55 for (i = 0; i <= 255; i++) {
57 if ((i & 0x0f) == 0) {
59 print_debug_char(':');
61 val = pci_read_config8(dev, i);
62 print_debug_char(' ');
63 print_debug_hex8(val);
64 if ((i & 0x0f) == 0x0f) {