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