rctl_val_walk_step
rctl_val_walk_init, rctl_val_walk_step },
int rctl_val_walk_step(mdb_walk_state_t *);