mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
usb_drv: Fix controller initialization on RPI
Execute high priority tasklets immediately, these tasklets need to be processed before any other work. Issue #1401
This commit is contained in:
committed by
Christian Helmuth
parent
5dea0b40aa
commit
c2c8483293
@@ -295,5 +295,8 @@ void tasklet_schedule(struct tasklet_struct *tasklet)
|
||||
|
||||
void tasklet_hi_schedule(struct tasklet_struct *tasklet)
|
||||
{
|
||||
tasklet_schedule(tasklet);
|
||||
/*
|
||||
* High priority, execute immediately
|
||||
*/
|
||||
tasklet->func(tasklet->data);
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user