Searched defs:oldctx (Results 1 – 2 of 2) sorted by relevance
109 unsigned char ctx, oldctx; in flush_tlb_all() local135 unsigned char oldctx; in flush_tlb_mm() local162 unsigned char oldctx; in flush_tlb_page() local184 unsigned char seg, oldctx; in flush_tlb_range() local
210 unsigned char oldctx; in clear_context() local