Searched refs:ptd_root_table_size (Results 1 – 2 of 2) sorted by relevance
363 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap() local420 avail_start = round_page(avail_start + ptd_root_table_size); in pmap_data_bootstrap()
636 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap() local699 avail_start = round_page(avail_start + ptd_root_table_size); in pmap_data_bootstrap()