layout_int_options  253 src/setup.c    } layout_int_options[] = {
layout_int_options  587 src/setup.c        for (i = 0; layout_int_options[i].opt_name != NULL; i++)
layout_int_options  588 src/setup.c            *layout_int_options[i].opt_addr =
layout_int_options  590 src/setup.c                                   layout_int_options[i].opt_name, *layout_int_options[i].opt_addr);
layout_int_options  768 src/setup.c        for (i = 0; layout_int_options[i].opt_name != NULL; i++)
layout_int_options  770 src/setup.c                               layout_int_options[i].opt_name, *layout_int_options[i].opt_addr);