Searched defs:s_index (Results 1 – 2 of 2) sorted by relevance
33 unsigned int s_index, s_asid; in dump_tlb() local
70 unsigned int s_index, s_pagemask, s_guestctl1 = 0; in dump_tlb() local