minix/lib/libddekit/src
Ben Gras 2d2a1a077d panic: declare as printf-style-checked
. and related fixes

Change-Id: I5131ac57dc53d8aec8d421a34c5ceea383404d7a
2013-05-31 13:35:25 +00:00
..
common.h Removing obsolete _MINIX define 2013-02-26 09:44:20 +00:00
condvar.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
dde.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
dde.h added libddekit 2011-02-25 12:40:31 +00:00
debug.h added libddekit 2011-02-25 12:40:31 +00:00
initcall.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
irq.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
irq.h retire _PROTOTYPE 2012-03-25 16:17:10 +02:00
lock.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
mem.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
msg_queue.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
panic.c panic: declare as printf-style-checked 2013-05-31 13:35:25 +00:00
pci.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
pgtab.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
printf.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
resource.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
semaphore.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
thread.c retire PUBLIC, PRIVATE and FORWARD 2012-03-25 21:58:14 +02:00
thread.h added libddekit 2011-02-25 12:40:31 +00:00
timer.c libc: add clock_getres()/clock_gettime() system calls. 2013-04-04 15:04:53 +02:00
timer.h added libddekit 2011-02-25 12:40:31 +00:00
usb_client.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
usb_server.c Upgrade libddekit and introduce devmand. 2012-06-18 09:23:42 +02:00
util.h added libddekit 2011-02-25 12:40:31 +00:00