]> xenbits.xensource.com Git - people/liuw/libxenctrl-split/mini-os.git/commit
projects / people / liuw / libxenctrl-split / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94690db) | patch
mini-os: use irqs_disabled() helper in schedule
authorThomas Leonard <talex5@gmail.com>
Thu, 26 Jun 2014 11:28:33 +0000 (12:28 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 27 Jun 2014 13:13:21 +0000 (14:13 +0100)
commit60e17c5fd3af11b63fe3176c18f6adddaf749a41
treec1c4f72ad27f005abda00a7975c4cd096d6c30d0tree
parent94690db60d609e4527a781de1f0e3defe5f29a13commit | diff
mini-os: use irqs_disabled() helper in schedule

Testing whether the result of local_irq_save is zero doesn't work on
ARM.

Suggested by Julien Grall.
Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
sched.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.