diff options
Diffstat (limited to 'arch/arm/machine/pmap.h')
| -rw-r--r-- | arch/arm/machine/pmap.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/machine/pmap.h b/arch/arm/machine/pmap.h index d61eb00c..3f55ab91 100644 --- a/arch/arm/machine/pmap.h +++ b/arch/arm/machine/pmap.h @@ -107,6 +107,8 @@ pmap_get_kernel_pmap(void) return &pmap_kernel_pmap; } +unsigned int pmap_boot_get_last_level(size_t page_size); + /* * Early initialization of the MMU. * |