Searched refs:amd64_support (Results 1 – 1 of 1) sorted by relevance
144 int amd64_support = 0; variable1480 amd64_support = 1; in startup_kernel()1586 amd64_support = 1; in startup_kernel()1597 if (amd64_support == 0) in startup_kernel()1608 amd64_support = 0; in startup_kernel()1651 DBG(amd64_support); in startup_kernel()