checked           747 htags/common.c gen_input_radio(const char *name, const char *value, int checked, const char *title)
checked           749 htags/common.c 	return gen_input_with_title_checked(name, value, "radio", checked, title);
checked           770 htags/common.c gen_input_with_title_checked(const char *name, const char *value, const char *type, int checked, const char *title)
checked           782 htags/common.c 	if (checked) {