30 lines
948 B
C
30 lines
948 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef _LINUX_PGALLOC_H
|
|
#define _LINUX_PGALLOC_H
|
|
|
|
#include <linux/pgtable.h>
|
|
#include <asm/pgalloc.h>
|
|
|
|
/*
|
|
* {pgd,p4d}_populate_kernel() are defined as macros to allow
|
|
* compile-time optimization based on the configured page table levels.
|
|
* Without this, linking may fail because callers (e.g., KASAN) may rely
|
|
* on calls to these functions being optimized away when passing symbols
|
|
* that exist only for certain page table levels.
|
|
*/
|
|
#define pgd_populate_kernel(addr, pgd, p4d) \
|
|
do { \
|
|
pgd_populate(&init_mm, pgd, p4d); \
|
|
if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_PGD_MODIFIED) \
|
|
arch_sync_kernel_mappings(addr, addr); \
|
|
} while (0)
|
|
|
|
#define p4d_populate_kernel(addr, p4d, pud) \
|
|
do { \
|
|
p4d_populate(&init_mm, p4d, pud); \
|
|
if (ARCH_PAGE_TABLE_SYNC_MASK & PGTBL_P4D_MODIFIED) \
|
|
arch_sync_kernel_mappings(addr, addr); \
|
|
} while (0)
|
|
|
|
#endif /* _LINUX_PGALLOC_H */
|