Searched refs:table_ptr (Results 1 – 1 of 1) sorted by relevance
469 void *table_ptr = kbm_remap_window(table, 0); in get_pteval() local472 return (((x86pte_t *)table_ptr)[index]); in get_pteval()473 return (((x86pte32_t *)table_ptr)[index]); in get_pteval()480 void *table_ptr = kbm_remap_window(table, 0); in set_pteval() local482 ((x86pte_t *)table_ptr)[index] = pteval; in set_pteval()484 ((x86pte32_t *)table_ptr)[index] = pteval; in set_pteval()494 void *table_ptr; in make_ptable() local497 table_ptr = kbm_remap_window(new_table, 1); in make_ptable()498 bzero(table_ptr, MMU_PAGESIZE); in make_ptable()516 void *table_ptr = kbm_remap_window(table, 0); in map_pte() local[all …]