1 /* Public domain. */ 2 3 #ifndef _ASM_SMP_H 4 #define _ASM_SMP_H 5 6 #if defined(__i386__) || defined(__amd64__) 7 8 #include <machine/cpu.h> 9 10 static inline int 11 wbinvd_on_all_cpus(void) 12 { 13 /* XXX single cpu only */ 14 wbinvd(); 15 return 0; 16 } 17 18 #endif 19 20 #endif 21