Searched refs:read_c0_guestctl1 (Results 1 – 4 of 4) sorted by relevance
25 pr_info("GuestCtl1: %0x\n", read_c0_guestctl1()); in dump_tlb_regs()104 s_guestctl1 = read_c0_guestctl1(); in dump_tlb()122 guestctl1 = read_c0_guestctl1(); in dump_tlb()
242 guestctl1 = read_c0_guestctl1(); in set_root_gid_to_guest_gid()406 old_guestctl1 = read_c0_guestctl1(); in kvm_vz_local_flush_roottlb_all_guests()419 if (!(read_c0_guestctl1() & MIPS_GCTL1_RID)) in kvm_vz_local_flush_roottlb_all_guests()530 guestctl1 = read_c0_guestctl1(); in kvm_vz_save_guesttlb()541 (read_c0_guestctl1() ^ guestctl1) & MIPS_GCTL1_RID) { in kvm_vz_save_guesttlb()
1237 c->guestid_mask = (read_c0_guestctl1() & MIPS_GCTL1_ID) in cpu_probe_guestctl1()
1652 #define read_c0_guestctl1() __read_32bit_c0_register($10, 4) macro
