DVMA_PAGE_MASK
baddr &= DVMA_PAGE_MASK;
off = kaddr & ~DVMA_PAGE_MASK;
len = ((len + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
align = ((align + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
len = ((len + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
if(len & ~DVMA_PAGE_MASK)