Searched refs:write_c0_guestctl0 (Results 1 – 3 of 3) sorted by relevance
451 write_c0_guestctl0(gctl0 | MIPS_GCTL0_GT); in kvm_vz_acquire_htimer()526 write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT); in kvm_vz_save_timer()555 write_c0_guestctl0(gctl0 & ~MIPS_GCTL0_GT); in kvm_vz_lose_htimer()2952 write_c0_guestctl0(MIPS_GCTL0_CP0 | in kvm_vz_hardware_enable()
991 write_c0_guestctl0(guestctl0 | MIPS_GCTL0_DRG); in cpu_probe_guestctl0()996 write_c0_guestctl0(guestctl0); in cpu_probe_guestctl0()
1738 #define write_c0_guestctl0(val) __write_32bit_c0_register($12, 6, val) macro