Searched refs:envhwkey (Results 1 – 1 of 1) sorted by relevance
210 unsigned long envbid = 0, envhwkey = 0; in do_checkboardidhwk() local244 rc = strict_strtoul(p, 16, &envhwkey); in do_checkboardidhwk()251 if (!envbid || !envhwkey) { in do_checkboardidhwk()312 envhwkey = hwkey; in do_checkboardidhwk()323 if ((ivmbid == envbid) && (ivmhwkey == envhwkey)) { in do_checkboardidhwk()324 printf("boardid=0x%3lX, hwkey=%ld\n", envbid, envhwkey); in do_checkboardidhwk()328 envhwkey); in do_checkboardidhwk()