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