KDI_MEMRANGES_MAX
kdi_memrange_t kdi_memranges[KDI_MEMRANGES_MAX];
ASSERT(kdi_nmemranges != KDI_MEMRANGES_MAX);