Searched refs:num_ptd_pages (Results 1 – 2 of 2) sorted by relevance
362 const uint32_t num_ptd_pages = ptd_root_table_n_ptds / ptd_per_page; in pmap_data_bootstrap() local363 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap()425 ptd_bootstrap(ptd_root_table, num_ptd_pages); in pmap_data_bootstrap()
635 const uint32_t num_ptd_pages = ptd_root_table_n_ptds / ptd_per_page; in pmap_data_bootstrap() local636 vm_size_t ptd_root_table_size = num_ptd_pages * PAGE_SIZE; in pmap_data_bootstrap()704 ptd_bootstrap(ptd_root_table, num_ptd_pages); in pmap_data_bootstrap()