L2_TABLE_SIZE_REAL
PTE_SYNC_RANGE(l2, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));
memset(v, 0, L2_TABLE_SIZE_REAL);
PTE_SYNC_RANGE(v, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));
CTASSERT((PAGE_SIZE % L2_TABLE_SIZE_REAL) == 0);
pmap_kernel_l2ptp_kva += L2_TABLE_SIZE_REAL;
pmap_kernel_l2ptp_phys += L2_TABLE_SIZE_REAL;
l2idx < (L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));
round_page(size * L2_TABLE_SIZE_REAL) / PAGE_SIZE,
pool_cache_bootstrap(&pmap_l2ptp_cache, L2_TABLE_SIZE_REAL,
L2_TABLE_SIZE_REAL, 0, 0, "l2ptppl", NULL, IPL_NONE,
pool_cache_setlowat(&pmap_l2ptp_cache, (PAGE_SIZE / L2_TABLE_SIZE_REAL) * 4);
l2ptva = segl2ptva + l1pte_index(segoff) * L2_TABLE_SIZE_REAL;