kmdb_kdi_memrange_add
kmdb_kdi_memrange_add(base, len);
extern void kmdb_kdi_memrange_add(caddr_t, size_t);