Searched refs:s_index (Results 1 – 2 of 2) sorted by relevance
33 unsigned int s_index, s_asid; in dump_tlb() local41 s_index = read_csr_tlbidx(); in dump_tlb()112 write_csr_tlbidx(s_index); in dump_tlb()
70 unsigned int s_index, s_pagemask, s_guestctl1 = 0; in dump_tlb() local87 s_index = read_c0_index(); in dump_tlb()182 write_c0_index(s_index); in dump_tlb()