list_empty(src) check in isolate_lru_pages() is for pathological casewhen active list becomes empty. Also active and inactive lists are notLRU, they are closer to second-chance-FIFO, it is _together_ that theyemulate LRU.