Searched refs:intrhand (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dintr.c40 struct intrhand { struct
44 SLIST_ENTRY(intrhand) ih_entries;
47 SLIST_HEAD(isr_ihead, intrhand);
93 struct intrhand *ih;
129 struct intrhand *ih;
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dintr.c55 struct intrhand { struct
59 SLIST_ENTRY(intrhand) ih_entries;
62 SLIST_HEAD(isr_ihead, intrhand);
76 struct intrhand *ih;
171 struct intrhand *ih = bmk_xmalloc_bmk(sizeof(*ih));

Completed in 73 milliseconds