mdb_remove_walker
extern int mdb_remove_walker(const char *);
mdb_remove_walker(KLUDGE_MAPWALK_NAME);
if (mdb_remove_walker("count") != 0) {