DVMA_PAGE_SIZE
#define DVMA_PAGE_MASK (~(DVMA_PAGE_SIZE-1))
#define DVMA_PAGE_ALIGN(addr) ALIGN(addr, DVMA_PAGE_SIZE)
if(align > DVMA_PAGE_SIZE)
len = ((len + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
align = DVMA_PAGE_SIZE;
align = ((align + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
len = ((len + (DVMA_PAGE_SIZE-1)) & DVMA_PAGE_MASK);
kaddr += DVMA_PAGE_SIZE;
(paddr & (DVMA_PAGE_SIZE-1)))