Method Index
clean
(ObjID[], long, VMID, boolean)
dirty
(ObjID[], long, Lease)