drm: Use the Linux timer API
authorFrançois Tigeot <ftigeot@wolfpond.org>
Tue, 22 Apr 2014 18:18:43 +0000 (20:18 +0200)
committerFrançois Tigeot <ftigeot@wolfpond.org>
Tue, 22 Apr 2014 18:19:19 +0000 (20:19 +0200)
commit7ae74336555d1fa65b993d2dc35d3d122568b7c4
tree0f34256ec67179ee73be5b995b9219ecac142cda
parentfe87864c170e37339a5c6acc5264fad4e16b20e7
drm: Use the Linux timer API

Reduce differences with Linux 3.8.13
sys/dev/drm/drm_irq.c
sys/dev/drm/include/drm/drmP.h