Searched refs:write_c0_guestctl1 (Results 1 – 5 of 5) sorted by relevance
246 write_c0_guestctl1(guestctl1); in set_root_gid_to_guest_gid()426 write_c0_guestctl1(0); in kvm_vz_local_flush_roottlb_all_guests()433 write_c0_guestctl1(old_guestctl1); in kvm_vz_local_flush_roottlb_all_guests()
2860 write_c0_guestctl1(0); in kvm_vz_hardware_enable()2910 write_c0_guestctl1(0); in kvm_vz_hardware_disable()
182 write_c0_guestctl1(s_guestctl1); in dump_tlb()
1122 write_c0_guestctl1(0); in cpu_probe_guestctl0()1140 write_c0_guestctl1(MIPS_GCTL1_ID); in cpu_probe_guestctl1()1144 write_c0_guestctl1(0); in cpu_probe_guestctl1()
1510 #define write_c0_guestctl1(val) __write_32bit_c0_register($10, 4, val) macro