diff options
Diffstat (limited to 'sys/arm/include')
-rw-r--r-- | sys/arm/include/devmap.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/arm/include/devmap.h b/sys/arm/include/devmap.h index 028f40d..e205d9b 100644 --- a/sys/arm/include/devmap.h +++ b/sys/arm/include/devmap.h @@ -87,4 +87,7 @@ void arm_devmap_bootstrap(vm_offset_t _l1pt, void * arm_devmap_ptov(vm_paddr_t _pa, vm_size_t _sz); vm_paddr_t arm_devmap_vtop(void * _va, vm_size_t _sz); +/* Print the static mapping table; used for bootverbose output. */ +void arm_devmap_print_table(void); + #endif |