Searched refs:s_guestctl1 (Results 1 – 1 of 1) sorted by relevance
78 unsigned int s_index, s_pagemask, s_guestctl1 = 0; in dump_tlb() local103 s_guestctl1 = read_c0_guestctl1(); in dump_tlb()193 write_c0_guestctl1(s_guestctl1); in dump_tlb()