type_str
const char *type_str[] = {"kdc", "admin", "changepw", "krb524"};
printf ("%s for %s:\n", type_str[j], argv[i]);
if (traverse_string(in, len, inform, type_str, &mask) < 0) {
static int type_str(unsigned long value, void *arg);
trap_diag(struct trapframe *frame, vm_offset_t eva, const char *type_str)
printf("\n%s trap %d: %s while in %s mode\n", type_str, type,
char *type_str;
type_str = "Solicited";
type_str = "Fatal";
type_str = "Non-fatal";
type_str, data1, data2,
(void) snprintf(sc->type_str, sizeof(sc->type_str), "DDR3");
(void) snprintf(sc->type_str, sizeof(sc->type_str), "DDR4");
CTLFLAG_RD | CTLFLAG_MPSAFE, sc->type_str, 0,
char type_str[5];