Searched defs:oldctx (Results 1 – 1 of 1) sorted by relevance
116 unsigned char ctx, oldctx; in flush_tlb_all() local141 unsigned char oldctx; in flush_tlb_mm() local167 unsigned char oldctx; in flush_tlb_page() local189 unsigned char seg, oldctx; in flush_tlb_range() local