Searched defs:oldctx (Results 1 – 2 of 2) sorted by relevance
120 unsigned char ctx, oldctx; in flush_tlb_all() local146 unsigned char oldctx; in flush_tlb_mm() local173 unsigned char oldctx; in flush_tlb_page() local195 unsigned char seg, oldctx; in flush_tlb_range() local
210 unsigned char oldctx; in clear_context() local