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