minix/servers/devman
Lionel Sambuc 9fab85c2de Replacing timer_t by netbsd's timer_t
* Renamed struct timer to struct minix_timer
 * Renamed timer_t to minix_timer_t
 * Ensured all the code uses the minix_timer_t typedef
 * Removed ifdef around _BSD_TIMER_T
 * Removed include/timers.h and merged it into include/minix/timers.h
 * Resolved prototype conflict by renaming kernel's (re)set_timer
   to (re)set_kernel_timer.

Change-Id: I56f0f30dfed96e1a0575d92492294cf9a06468a5
2014-03-01 09:04:54 +01:00
..
bind.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
buf.c Replacing timer_t by netbsd's timer_t 2014-03-01 09:04:54 +01:00
device.c Add support in devmand for using config dirs. 2012-06-18 09:29:53 +02:00
devinfo.h Added Device Manager (USB hotplug support) 2011-02-23 13:48:03 +00:00
devman.h Replacing timer_t by netbsd's timer_t 2014-03-01 09:04:54 +01:00
main.c Replacing timer_t by netbsd's timer_t 2014-03-01 09:04:54 +01:00
Makefile Remove obsolete INSTALLFLAGS from makefiles 2012-02-16 23:26:38 +01:00
proto.h retire _PROTOTYPE 2012-03-25 16:17:10 +02:00