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