* Print the contents of the static mapping table. Used for bootverbose. */
| 133 | * Print the contents of the static mapping table. Used for bootverbose. |
| 134 | */ |
| 135 | void |
| 136 | physmem_print_tables(void) |
| 137 | { |
| 138 | |
| 139 | physmem_dump_tables(printf); |
| 140 | } |
| 141 | |
| 142 | /* |
| 143 | * Walk the list of hardware regions, processing it against the list of |
no test coverage detected