David van Moolenbroek 7dd6189cc7 drivers: fix various sys_irqsetpolicy calls

2012-10-24 11:29:10 +00:00

..

err.c

…

hgcm.c

…

Makefile

…

proto.h

…

vbox.c

drivers: fix various sys_irqsetpolicy calls

2012-10-24 11:29:10 +00:00

vmmdev.h

…