Searched refs:amd64_support (Results 1 - 1 of 1) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c144 int amd64_support = 0; variable
1480 amd64_support = 1;
1586 amd64_support = 1;
1597 if (amd64_support == 0)
1608 amd64_support = 0;
1651 DBG(amd64_support);

Completed in 47 milliseconds