Searched defs:tlb_need_flush (Results 1 – 9 of 9) sorted by relevance
1070 uint32_t tlb_need_flush; /* Delayed flush needed */ member
1040 uint32_t tlb_need_flush; /* Delayed flush needed */ member
1038 uint32_t tlb_need_flush; /* Delayed flush needed */ member
1008 uint32_t tlb_need_flush; /* Delayed flush needed */ member
1068 uint32_t tlb_need_flush; /* Delayed flush needed */ member
1092 uint32_t tlb_need_flush; /* Delayed flush needed */ member