Searched refs:ptd_root_table (Results 1 – 2 of 2) sorted by relevance
419 pt_desc_t *ptd_root_table = (pt_desc_t *)phystokv(avail_start); in pmap_data_bootstrap() local425 ptd_bootstrap(ptd_root_table, num_ptd_pages); in pmap_data_bootstrap()
698 pt_desc_t *ptd_root_table = (pt_desc_t *)phystokv(avail_start); in pmap_data_bootstrap() local704 ptd_bootstrap(ptd_root_table, num_ptd_pages); in pmap_data_bootstrap()