Searched refs:table_ptr (Results 1 – 1 of 1) sorted by relevance
467 void *table_ptr = kbm_remap_window(table, 0); in get_pteval() local470 return (((x86pte_t *)table_ptr)[index]); in get_pteval()471 return (((x86pte32_t *)table_ptr)[index]); in get_pteval()478 void *table_ptr = kbm_remap_window(table, 0); in set_pteval() local480 ((x86pte_t *)table_ptr)[index] = pteval; in set_pteval()482 ((x86pte32_t *)table_ptr)[index] = pteval; in set_pteval()492 void *table_ptr; in make_ptable() local495 table_ptr = kbm_remap_window(new_table, 1); in make_ptable()496 bzero(table_ptr, MMU_PAGESIZE); in make_ptable()514 void *table_ptr = kbm_remap_window(table, 0); in map_pte() local[all …]