Searched refs:dinf_banner_name (Results 1 – 3 of 3) sorted by relevance
171 char dinf_banner_name[64]; /* system banner string */ member
421 hwd_dinfo.dinf_banner_name); in dumpahwd()
223 printf("HWD:banner name = %s\n", dinfop->dinf_banner_name); in opl_dump_hwd()