#include void init_timer(void) { } void udelay(unsigned int n) { }