Home
last modified time | relevance | path

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

/dragonfly/sys/platform/vkernel64/include/
H A Dsmp.h23 extern int vkernel_B_arg; /* arg from main() */
/dragonfly/sys/platform/vkernel64/platform/
H A Dinit.c124 int vkernel_B_arg; /* no of core bits - only SMP */ variable
248 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()
/dragonfly/sys/platform/vkernel64/x86_64/
H A Dmp.c485 core_bits = vkernel_B_arg; in detect_cpu_topology()