Searched refs:num_ptd_pages (Results 1 – 1 of 1) sorted by relevance
611 const uint32_t num_ptd_pages = ptd_root_table_n_ptds / ptd_per_page; in pmap_data_bootstrap() local612 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap()661 ptd_bootstrap(ptd_root_table, num_ptd_pages); in pmap_data_bootstrap()