Searched defs:send_user_interrupt (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/arm/
H A Dirq.c155 void send_user_interrupt(int irq) function
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c418 static void send_user_interrupt(int irq) function
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c362 static void send_user_interrupt(int irq) function

Completed in 40 milliseconds