Landfall (file pkg/devices/idl/icu.idl at 04e69fba99d8)

Landfall

pkg/devices/idl/icu.idl

316:3c3a1ffa774b

181:04e69fba99d8

113:8fd418104ecd

13 months ago

Paul Boddie

Removed superfluous clock methods.

cpm-library-improvements

     1 #include <l4/sys/icu.h>     2      3 /* An interrupt controller interface. */     4      5 [protocol(L4_PROTO_IRQ)]     6 interface ICU     7 {     8   [opcode(L4_ICU_OP_BIND)] void bind(in int num, in cap irq);     9 };