Searched refs:save_pte (Results 1 – 2 of 2) sorted by relevance
431 static x86pte_t save_pte; variable444 save_pte = *((x86pte_t *)pte_to_window); in kbm_push()446 save_pte = *((x86pte32_t *)pte_to_window); in kbm_push()454 if (HYPERVISOR_update_va_mapping((uintptr_t)window, save_pte, in kbm_pop()459 *((x86pte_t *)pte_to_window) = save_pte; in kbm_pop()461 *((x86pte32_t *)pte_to_window) = save_pte; in kbm_pop()
2508 x86pte_t save_pte; in hat_sync() local2537 save_pte = pte; in hat_sync()2539 if (pte != save_pte) { in hat_sync()2565 hati_sync_pte_to_page(pp, save_pte, ht->ht_level); in hat_sync()