devbindings
extern int devbindings(uintptr_t, uint_t, int, const mdb_arg_t *);
devbindings, devinfo_help },