Searched refs:s_pagemask (Results 1 – 1 of 1) sorted by relevance
70 unsigned int s_index, s_pagemask, s_guestctl1 = 0; in dump_tlb() local85 s_pagemask = read_c0_pagemask(); in dump_tlb()183 write_c0_pagemask(s_pagemask); in dump_tlb()