diff options
Diffstat (limited to 'arch/x86/machine/pmap.h')
| -rw-r--r-- | arch/x86/machine/pmap.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/arch/x86/machine/pmap.h b/arch/x86/machine/pmap.h index 96fc21e4..d8c2455b 100644 --- a/arch/x86/machine/pmap.h +++ b/arch/x86/machine/pmap.h @@ -183,10 +183,13 @@ typedef phys_addr_t pmap_pte_t; */ struct pmap; -/* - * The kernel pmap. - */ -extern struct pmap *kernel_pmap; +static inline struct pmap * +pmap_get_kernel_pmap(void) +{ + extern struct pmap pmap_kernel_pmap; + + return &pmap_kernel_pmap; +} /* * Early initialization of the MMU. |