PTBL_BUFS
virtual_avail += PTBL_BUFS * PTBL_PAGES * PAGE_SIZE;
(uint32_t)ptbl_bufs, sizeof(struct ptbl_buf) * PTBL_BUFS);
__func__, ptbl_buf_pool_vabase, PTBL_BUFS * PTBL_PAGES * PAGE_SIZE);
for (i = 0; i < PTBL_BUFS; i++) {
data_end += sizeof(struct ptbl_buf) * PTBL_BUFS;