checked 714 htags/common.c gen_input_radio(const char *name, const char *value, int checked, const char *title) checked 716 htags/common.c return gen_input_with_title_checked(name, value, "radio", checked, title); checked 730 htags/common.c gen_input_with_title_checked(const char *name, const char *value, const char *type, int checked, const char *title) checked 742 htags/common.c if (checked) {