update_page_count
update_page_count(mmu_linear_psize, (end - start) >> pshift);
update_page_count(mmu_linear_psize, -((end - start) >> pshift));
update_page_count(mmu_linear_psize, size >> pshift);
update_page_count(mmu_linear_psize,
update_page_count(mmu_linear_psize, KFENCE_POOL_SIZE >> pshift);
update_page_count(psize, 1);
update_page_count(mmu_virtual_psize, -pages);
update_page_count(MMU_PAGE_2M, -pages);
update_page_count(MMU_PAGE_1G, -pages);
update_page_count(PG_DIRECT_MAP_4K, pages);
update_page_count(PG_DIRECT_MAP_1M, pages);
update_page_count(PG_DIRECT_MAP_2G, pages);
update_page_count(PG_DIRECT_MAP_4K, PTRS_PER_PTE);
update_page_count(PG_DIRECT_MAP_1M, -1);
update_page_count(PG_DIRECT_MAP_1M, PTRS_PER_PMD);
update_page_count(PG_DIRECT_MAP_2G, -1);
update_page_count(PG_DIRECT_MAP_4K, add ? pages : -pages);
update_page_count(PG_DIRECT_MAP_1M, add ? pages : -pages);
update_page_count(PG_DIRECT_MAP_2G, add ? pages : -pages);
extern void update_page_count(int level, unsigned long pages);
update_page_count(PG_LEVEL_2M, pages_2m);
update_page_count(PG_LEVEL_4K, pages_4k);
update_page_count(PG_LEVEL_4K, -pages);
update_page_count(PG_LEVEL_2M, -pages);
update_page_count(PG_LEVEL_1G, -pages);
update_page_count(PG_LEVEL_512G, -pages);
update_page_count(PG_LEVEL_4K, pages);
update_page_count(PG_LEVEL_2M, pages);
update_page_count(PG_LEVEL_1G, pages);