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()
2959 write_c0_guestctl1(0); in kvm_vz_hardware_enable()3015 write_c0_guestctl1(0); in kvm_vz_hardware_disable()
193 write_c0_guestctl1(s_guestctl1); in dump_tlb()
987 write_c0_guestctl1(0); in cpu_probe_guestctl0()1005 write_c0_guestctl1(MIPS_GCTL1_ID); in cpu_probe_guestctl1()1009 write_c0_guestctl1(0); in cpu_probe_guestctl1()
1720 #define write_c0_guestctl1(val) __write_32bit_c0_register($10, 4, val) macro