Searched refs:pte_to_window (Results 1 – 1 of 1) sorted by relevance
63 static caddr_t pte_to_window; variable95 pte_to_window = bi->bi_pte_to_pt_window; in kbm_init()96 DBG(pte_to_window); in kbm_init()145 *((x86pte_t *)pte_to_window) = physaddr | pt_bits; in kbm_remap_window()147 *((x86pte32_t *)pte_to_window) = physaddr | pt_bits; in kbm_remap_window()444 save_pte = *((x86pte_t *)pte_to_window); in kbm_push()446 save_pte = *((x86pte32_t *)pte_to_window); in kbm_push()459 *((x86pte_t *)pte_to_window) = save_pte; in kbm_pop()461 *((x86pte32_t *)pte_to_window) = save_pte; in kbm_pop()