VDMA_PAGE_EMPTY
while (pgtbl[first].owner != VDMA_PAGE_EMPTY &&
while (pgtbl[last].owner == VDMA_PAGE_EMPTY
pgtbl[i].owner = VDMA_PAGE_EMPTY;