Searched refs:save_pte (Results 1 – 2 of 2) sorted by relevance
429 static x86pte_t save_pte; variable442 save_pte = *((x86pte_t *)pte_to_window); in kbm_push()444 save_pte = *((x86pte32_t *)pte_to_window); in kbm_push()452 if (HYPERVISOR_update_va_mapping((uintptr_t)window, save_pte, in kbm_pop()457 *((x86pte_t *)pte_to_window) = save_pte; in kbm_pop()459 *((x86pte32_t *)pte_to_window) = save_pte; in kbm_pop()
2993 x86pte_t save_pte; in hat_sync() local3022 save_pte = pte; in hat_sync()3024 if (pte != save_pte) { in hat_sync()3050 hati_sync_pte_to_page(pp, save_pte, ht->ht_level); in hat_sync()