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