Searched refs:X86_IPI_WBINVD (Results 1 - 2 of 2) sorted by relevance
| /openbsd-current/sys/arch/amd64/include/ | ||
| H A D | intrdefs.h | 87 #define X86_IPI_WBINVD 0x00000400 macro |
| /openbsd-current/sys/arch/amd64/amd64/ | ||
| H A D | cpu.c | 1459 x86_broadcast_ipi(X86_IPI_WBINVD); |
Completed in 188 milliseconds