* Print the contents of the static mapping table using the provided printf-like * output function (which will be either printf or db_printf). */
| 62 | * output function (which will be either printf or db_printf). |
| 63 | */ |
| 64 | static void |
| 65 | devmap_dump_table(int (*prfunc)(const char *, ...)) |
| 66 | { |
| 67 | const struct devmap_entry *pd; |
| 68 | |
| 69 | if (devmap_table == NULL || devmap_table[0].pd_size == 0) { |
| 70 | prfunc("No static device mappings.\n"); |
| 71 | return; |
| 72 | } |
| 73 | |
| 74 | prfunc("Static device mappings:\n"); |
| 75 | for (pd = devmap_table; pd->pd_size != 0; ++pd) { |
| 76 | prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n", |
| 77 | (uintmax_t)pd->pd_pa, |
| 78 | (uintmax_t)(pd->pd_pa + pd->pd_size - 1), |
| 79 | (uintmax_t)pd->pd_va); |
| 80 | } |
| 81 | } |
| 82 | |
| 83 | /* |
| 84 | * Print the contents of the static mapping table. Used for bootverbose. |
no outgoing calls
no test coverage detected