L2_TABLE_SIZE_REAL
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_init(&pmap_l2ptp_pool, L2_TABLE_SIZE_REAL, L2_TABLE_SIZE_REAL,
(PAGE_SIZE / L2_TABLE_SIZE_REAL) * 4);
PTE_SYNC_RANGE(ptep, L2_TABLE_SIZE_REAL / sizeof(pt_entry_t));