Home
last modified time | relevance | path

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

/illumos-gate/usr/src/uts/i86pc/dboot/
H A Ddboot_startkern.c172 int amd64_support = 0; variable
2318 amd64_support = 1; in startup_kernel()
2436 amd64_support = 1; in startup_kernel()
2447 if (amd64_support == 0) in startup_kernel()
2458 amd64_support = 0; in startup_kernel()
2502 DBG(amd64_support); in startup_kernel()