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