| 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
|---|
| 2 | #ifndef _LINUX_PGALLOC_H |
|---|
| 3 | #define _LINUX_PGALLOC_H |
|---|
| 4 | |
|---|
| 5 | #include <linux/pgtable.h> |
|---|
| 6 | #include <asm/pgalloc.h> |
|---|
| 7 | |
|---|
| 8 | /* |
|---|
| 9 | * {pgd,p4d}_populate_kernel() are defined as macros to allow |
|---|
| 10 | * compile-time optimization based on the configured page table levels. |
|---|
| 11 | * Without this, linking may fail because callers (e.g., KASAN) may rely |
|---|
| 12 | * on calls to these functions being optimized away when passing symbols |
|---|
| 13 | * that exist only for certain page table levels. |
|---|
| 14 | */ |
|---|
| 15 | #define pgd_populate_kernel(addr, pgd, p4d) \ |
|---|
| 16 | do { \ |
|---|
| 17 | pgd_populate(&init_mm, pgd, p4d); \ |
|---|
| 18 | if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_PGD_MODIFIED) \ |
|---|
| 19 | arch_sync_kernel_mappings(addr, addr); \ |
|---|
| 20 | } while (0) |
|---|
| 21 | |
|---|
| 22 | #define p4d_populate_kernel(addr, p4d, pud) \ |
|---|
| 23 | do { \ |
|---|
| 24 | p4d_populate(&init_mm, p4d, pud); \ |
|---|
| 25 | if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_P4D_MODIFIED) \ |
|---|
| 26 | arch_sync_kernel_mappings(addr, addr); \ |
|---|
| 27 | } while (0) |
|---|
| 28 | |
|---|
| 29 | #endif /* _LINUX_PGALLOC_H */ |
|---|
| 30 | |
|---|
