mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
parent
96ebed6c31
commit
cb67d07e61
@ -172,6 +172,8 @@ int lx_emul_irq_task_function(void * data)
|
||||
if (!dde_irq_domain)
|
||||
continue;
|
||||
|
||||
irq_enter();
|
||||
|
||||
irq = irq_find_mapping(dde_irq_domain, lx_emul_irq_last());
|
||||
|
||||
if (!irq) {
|
||||
@ -180,6 +182,8 @@ int lx_emul_irq_task_function(void * data)
|
||||
} else {
|
||||
generic_handle_irq(irq);
|
||||
}
|
||||
|
||||
irq_exit();
|
||||
}
|
||||
|
||||
return 0;
|
||||
|
@ -72,3 +72,12 @@ void __local_bh_enable_ip(unsigned long ip,unsigned int cnt)
|
||||
*/
|
||||
__preempt_count_sub(cnt);
|
||||
}
|
||||
|
||||
|
||||
void __init softirq_init(void) {}
|
||||
|
||||
|
||||
void irq_enter(void) {}
|
||||
|
||||
|
||||
void irq_exit(void) {}
|
||||
|
@ -107,6 +107,7 @@ int lx_emul_init_task_function(void * dtb)
|
||||
tick_init();
|
||||
init_timers();
|
||||
hrtimers_init();
|
||||
softirq_init();
|
||||
timekeeping_init();
|
||||
|
||||
/* arch/arm64/kernel/time.c */
|
||||
|
Loading…
Reference in New Issue
Block a user