Searched refs:dinf_platform_token (Results 1 – 3 of 3) sorted by relevance
172 char dinf_platform_token[64]; /* platform name */ member
423 hwd_dinfo.dinf_platform_token); in dumpahwd()
224 printf("HWD:platform = %s\n", dinfop->dinf_platform_token); in opl_dump_hwd()