1 #include "delay.h" 2 #include "processor.h" 3 4 void delay(u64 count) 5 { 6 u64 start = rdtsc(); 7 8 do { 9 pause(); 10 } while (rdtsc() - start < count); 11 } 12