Searched refs:amd64_support (Results 1 – 1 of 1) sorted by relevance
156 int amd64_support = 0; variable1990 amd64_support = 1; in startup_kernel()2096 amd64_support = 1; in startup_kernel()2107 if (amd64_support == 0) in startup_kernel()2118 amd64_support = 0; in startup_kernel()2161 DBG(amd64_support); in startup_kernel()