Changeset View
Changeset View
Standalone View
Standalone View
sys/x86/x86/cpu_machdep.c
| Show First 20 Lines • Show All 502 Lines • ▼ Show 20 Lines | if (PCPU_GET(cpuid) != 0) { | ||||
| printf("cpu_reset: Failed to restart BSP\n"); | printf("cpu_reset: Failed to restart BSP\n"); | ||||
| } else { | } else { | ||||
| cpu_reset_proxy_active = 2; | cpu_reset_proxy_active = 2; | ||||
| while (1) | while (1) | ||||
| ia32_pause(); | ia32_pause(); | ||||
| /* NOTREACHED */ | /* NOTREACHED */ | ||||
| } | } | ||||
| } | } | ||||
| DELAY(1000000); | |||||
| } | } | ||||
| #endif | #endif | ||||
| cpu_reset_real(); | cpu_reset_real(); | ||||
| /* NOTREACHED */ | /* NOTREACHED */ | ||||
| } | } | ||||
| bool | bool | ||||
| cpu_mwait_usable(void) | cpu_mwait_usable(void) | ||||
| ▲ Show 20 Lines • Show All 1,025 Lines • Show Last 20 Lines | |||||