public class PageTableCleaner extends Object
PageTable
PageTableCleaner()
void
drop(PageTable pageTable, int pagesNumber)
pagesNumber
pageTable
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public PageTableCleaner()
public void drop(PageTable pageTable, int pagesNumber)
Copyright © 2006–2019 Apache Software Foundation. All rights reserved.