modctl_format
return (modctl_format(addr, &mc, NULL));
if (mdb_walk("modctl", modctl_format, NULL) == -1)