subr_devmap.c (818390ce0ca539300dd15d7a817784f1e3f7a9b8) subr_devmap.c (9976b42b697ce203b1d257b2a6fe64c8a2961645)
1/*-
2 * Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 60 unchanged lines hidden (view full) ---

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",
1/*-
2 * Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 60 unchanged lines hidden (view full) ---

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 pd->pd_pa, pd->pd_pa + pd->pd_size - 1, pd->pd_va);
77 (uintmax_t)pd->pd_pa,
78 (uintmax_t)(pd->pd_pa + pd->pd_size - 1),
79 (uintmax_t)pd->pd_va);
78 }
79}
80
81/*
82 * Print the contents of the static mapping table. Used for bootverbose.
83 */
84void
85devmap_print_table()

--- 265 unchanged lines hidden --- 		80 }
81}
82
83/*
84 * Print the contents of the static mapping table. Used for bootverbose.
85 */
86void
87devmap_print_table()

--- 265 unchanged lines hidden ---