Searched refs:intr_init (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/include/hw/
H A Dkernel.h23 void intr_init(void);
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/
H A Dkernel.h33 void intr_init(void);
/seL4-camkes-master/tools/rumprun/platform/hw/arch/arm/integrator/
H A Dmachdep.c98 intr_init();
/seL4-camkes-master/tools/rumprun/platform/hw/
H A Dmultiboot.c128 intr_init();
H A Dintr.c195 intr_init(void) function
205 bmk_platform_halt("intr_init");
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dintr.c204 intr_init(void) function
218 bmk_platform_halt("intr_init");
H A Dentry.c345 intr_init();

Completed in 38 milliseconds