Searched refs:read_c0_guestctl0 (Results 1 – 3 of 3) sorted by relevance
448 gctl0 = read_c0_guestctl0(); in kvm_vz_acquire_htimer()523 gctl0 = read_c0_guestctl0(); in kvm_vz_save_timer()552 gctl0 = read_c0_guestctl0(); in kvm_vz_lose_htimer()
972 guestctl0 = read_c0_guestctl0(); in cpu_probe_guestctl0()993 temp = read_c0_guestctl0(); in cpu_probe_guestctl0()
1737 #define read_c0_guestctl0() __read_32bit_c0_register($12, 6) macro