Searched refs:cpu_reset_proxyid (Results 1 – 1 of 1) sorted by relevance
110 static u_int cpu_reset_proxyid; variable422 printf("cpu_reset_proxy: Stopped CPU %d\n", cpu_reset_proxyid); in cpu_reset_proxy()446 cpu_reset_proxyid = PCPU_GET(cpuid); in cpu_reset()