HelenOS sources

kernel/genarch/include/genarch/drivers/am335x/irc.h
kernel/genarch/include/genarch/drivers/amdm37x/irc.h
kernel/genarch/include/genarch/drivers/bcm2835/irc.h
kernel/genarch/include/genarch/drivers/omap/irc.h
uspace/lib/device/include/ipc/irc.h
uspace/lib/device/include/irc.h