Function devmap_print_table

freebsd/kern/subr_devmap.c:86–90

* Print the contents of the static mapping table. Used for bootverbose. */

 * Print the contents of the static mapping table.  Used for bootverbose.
 */
void
devmap_print_table()
{
	devmap_dump_table(printf);
}

/*
 * Return the "last" kva address used by the registered devmap table.  It's