]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/ia32/timer-pit.cpp
update
[l4.git] / kernel / fiasco / src / kern / ia32 / timer-pit.cpp
index 5e03d5d8cce07e36c5ce9afd3bd92962292e76b5..31f9d72fbd221f8a9a830b78b06b241ab8fd6bbb 100644 (file)
@@ -18,6 +18,8 @@ IMPLEMENTATION[{ia32,amd64}-pit_timer]:
 
 Irq_base *Timer::irq;
 
+IMPLEMENT inline int Timer::irq_line() { return 0; }
+
 IMPLEMENT
 void
 Timer::init()