1c349dbc7Sjsg /* Public domain. */ 2c349dbc7Sjsg 3c349dbc7Sjsg #ifndef _ASM_SMP_H 4c349dbc7Sjsg #define _ASM_SMP_H 5c349dbc7Sjsg 6c349dbc7Sjsg #if defined(__i386__) || defined(__amd64__) 7*3fb0e55cSjsg #include <machine/cpu.h> /* for wbinvd_on_all_cpus() */ 8c349dbc7Sjsg #endif 9c349dbc7Sjsg 10c349dbc7Sjsg #endif 11