MAX_PTRS_PER_PGD
(MAX_PTRS_PER_PGD - USER_PTRS_PER_PGD) * sizeof(pgd_t));
(MAX_PTRS_PER_PGD - USER_PTRS_PER_PGD) * sizeof(pgd_t));
#ifndef MAX_PTRS_PER_PGD
#define PGD_ALIGN (sizeof(pgd_t) * MAX_PTRS_PER_PGD)
pgd_t swapper_pg_dir[MAX_PTRS_PER_PGD] __section(".bss..page_aligned") __aligned(PGD_ALIGN);