Searched refs:ptd_root_table_size (Results 1 – 1 of 1) sorted by relevance
612 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap() local656 avail_start = round_page(avail_start + ptd_root_table_size); in pmap_data_bootstrap()