Searched refs:read_c0_guestctl0 (Results 1 – 3 of 3) sorted by relevance
473 gctl0 = read_c0_guestctl0(); in kvm_vz_acquire_htimer()548 gctl0 = read_c0_guestctl0(); in kvm_vz_save_timer()577 gctl0 = read_c0_guestctl0(); in kvm_vz_lose_htimer()
1117 guestctl0 = read_c0_guestctl0(); in cpu_probe_guestctl0()1138 temp = read_c0_guestctl0(); in cpu_probe_guestctl0()
1653 #define read_c0_guestctl0() __read_32bit_c0_register($12, 6) macro
