Searched refs:old_guestctl1 (Results 1 – 1 of 1) sorted by relevance
256 unsigned long old_entryhi, old_pagemask, old_guestctl1; in kvm_vz_local_flush_roottlb_all_guests() local268 old_guestctl1 = read_c0_guestctl1(); in kvm_vz_local_flush_roottlb_all_guests()295 write_c0_guestctl1(old_guestctl1); in kvm_vz_local_flush_roottlb_all_guests()