MAX_MEMINFO_CNT
uint64_t inaddr[MAX_MEMINFO_CNT];
uint64_t outdata[2 * MAX_MEMINFO_CNT];
uint_t validity[MAX_MEMINFO_CNT];
(i < MAX_MEMINFO_CNT) && (addr <= chunk->end_addr);
page_descr_t page_info[MAX_MEMINFO_CNT];
else if (addr_count > MAX_MEMINFO_CNT)
addr_count = MAX_MEMINFO_CNT;