Searched refs:write_c0_guestctl1 (Results 1 – 5 of 5) sorted by relevance
108 write_c0_guestctl1(guestctl1); in set_root_gid_to_guest_gid()288 write_c0_guestctl1(0); in kvm_vz_local_flush_roottlb_all_guests()295 write_c0_guestctl1(old_guestctl1); in kvm_vz_local_flush_roottlb_all_guests()
2963 write_c0_guestctl1(0); in kvm_vz_hardware_enable()3019 write_c0_guestctl1(0); in kvm_vz_hardware_disable()
185 write_c0_guestctl1(s_guestctl1); in dump_tlb()
988 write_c0_guestctl1(0); in cpu_probe_guestctl0()1006 write_c0_guestctl1(MIPS_GCTL1_ID); in cpu_probe_guestctl1()1010 write_c0_guestctl1(0); in cpu_probe_guestctl1()
1719 #define write_c0_guestctl1(val) __write_32bit_c0_register($10, 4, val) macro