Searched defs:oldctx (Results 1 – 2 of 2) 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
210 unsigned char oldctx; in clear_context() local