| 8 months ago | Paul Boddie | file changeset files shortlog | Exposed the card registry and added support for inspecting partition tables. | cpm-library-improvements |
| paul@113 | 1 | #include <l4/sys/icu.h> |
| paul@113 | 2 | |
| paul@113 | 3 | /* An interrupt controller interface. */ |
| paul@113 | 4 | |
| paul@113 | 5 | [protocol(L4_PROTO_IRQ)] |
| paul@113 | 6 | interface ICU |
| paul@113 | 7 | { |
| paul@113 | 8 | [opcode(L4_ICU_OP_BIND)] void bind(in int num, in cap irq); |
| paul@113 | 9 | }; |