Searched refs:vkernel_B_arg (Results 1 – 3 of 3) sorted by relevance
23 extern int vkernel_B_arg; /* arg from main() */
124 int vkernel_B_arg; /* no of core bits - only SMP */ variable248 vkernel_B_arg = 0; in main()406 vkernel_B_arg = cpu_bits - vkernel_b_arg; in main()416 vkernel_B_arg = cpu_bits - vkernel_b_arg; in main()421 vkernel_B_arg = strtol(tok, NULL, 0); in main()
485 core_bits = vkernel_B_arg; in detect_cpu_topology()