Searched refs:read_c0_guestctl0 (Results 1 – 3 of 3) sorted by relevance
450 gctl0 = read_c0_guestctl0(); in kvm_vz_acquire_htimer()525 gctl0 = read_c0_guestctl0(); in kvm_vz_save_timer()554 gctl0 = read_c0_guestctl0(); in kvm_vz_lose_htimer()
971 guestctl0 = read_c0_guestctl0(); in cpu_probe_guestctl0()992 temp = read_c0_guestctl0(); in cpu_probe_guestctl0()
1738 #define read_c0_guestctl0() __read_32bit_c0_register($12, 6) macro