1 #ifndef __X86_DELAY__ 2 #define __X86_DELAY__ 3 4 #include "libcflat.h" 5 6 #define IPI_DELAY 1000000 7 8 void delay(u64 count); 9 10 static inline void io_delay(void) 11 { 12 delay(IPI_DELAY); 13 } 14 15 #endif 16