Searched refs:pte_to_window (Results 1 – 1 of 1) sorted by relevance
65 static caddr_t pte_to_window; variable97 pte_to_window = bi->bi_pte_to_pt_window; in kbm_init()98 DBG(pte_to_window); in kbm_init()143 *((x86pte_t *)pte_to_window) = physaddr | pt_bits; in kbm_remap_window()145 *((x86pte32_t *)pte_to_window) = physaddr | pt_bits; in kbm_remap_window()442 save_pte = *((x86pte_t *)pte_to_window); in kbm_push()444 save_pte = *((x86pte32_t *)pte_to_window); in kbm_push()457 *((x86pte_t *)pte_to_window) = save_pte; in kbm_pop()459 *((x86pte32_t *)pte_to_window) = save_pte; in kbm_pop()