layout_int_options  261 src/setup.c    } layout_int_options [] = {
layout_int_options  583 src/setup.c        for (i = 0; layout_int_options[i].opt_name != NULL; i++)
layout_int_options  584 src/setup.c            *layout_int_options[i].opt_addr =
layout_int_options  586 src/setup.c                                   layout_int_options[i].opt_name, *layout_int_options[i].opt_addr);
layout_int_options  765 src/setup.c        for (i = 0; layout_int_options[i].opt_name != NULL; i++)
layout_int_options  767 src/setup.c                               layout_int_options[i].opt_name, *layout_int_options[i].opt_addr);