diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-11-06 21:03:30 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-11-06 21:03:30 +0100 |
| commit | 587ca4c991338a72f6a02407dd5b2809fc07dd27 (patch) | |
| tree | f76655feafb2a46541406d62d04dccad78e3ef32 /windhoek/ide/ide-taskfile.c | |
| parent | 55f9e891d5ba9c3eb504cb0fd4e855298381db6c (diff) | |
Fix unlocking in raw_local_irq_restore inside a fake_local_irq_disable/restore
* libdde_linux26/lib/src/arch/l4/cli_sti.c (unlock_refcnt): New variable.
(raw_local_irq_restore): Unlock `cli_lock' when `flags' are equal to
`unlock_refcnt' (and clear the latter).
(raw_local_irq_disable): If `cli_lock' was not locked, save the current
value of `_refcnt' into `unlock_refcnt', unless the former is already
smaller than the latter.
Diffstat (limited to 'windhoek/ide/ide-taskfile.c')
0 files changed, 0 insertions, 0 deletions