ROUND_PAGE
va_end = ROUND_PAGE(va + size);
realsz = ROUND_PAGE((addr & PAGE_MASK) + size);
realsz = (vsize_t)ROUND_PAGE((bsh & PAGE_MASK) + size);