portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Jack Suann 9f67d21c3d x86: Handle pending interrupt before scheduling thread in handleSyscall 
In handleSyscall the current thread may be preempted to handle a pending interrupt.
With kernel mode interrupts in x86 this handling was delayed until we were about
to switch back to user mode. This change unifies the handling with ARM, where the
interrupt is handled prior to calling the thread scheduler.
2017-02-15 14:31:55 +11:00
..
32/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
64/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
api trivial: print kernel entry reason on halt 2017-02-07 16:52:50 +11:00
arch x86: Handle pending interrupt before scheduling thread in handleSyscall 2017-02-15 14:31:55 +11:00
benchmark Benchmark: Define benchmark_util_t in a separate file to avoid circular dependency 2017-01-11 14:19:34 +11:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Remove multiple stack definitions 2017-02-06 15:42:37 +11:00
machine Remove many MODIFIES annotations. 2016-12-12 17:30:51 +11:00
model SMP: Abstract architecture/platform independent parts of smp.h and ipi.h 2017-01-13 15:35:41 +11:00
object x64: Allow full 48bits of virtual address space to be used 2017-01-27 12:21:07 +11:00
plat x86: Handle pending interrupt before scheduling thread in handleSyscall 2017-02-15 14:31:55 +11:00
smp [STYLE_FIX] 2017-01-16 22:32:08 +00:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Always have compile_assert enabled 2015-11-11 11:09:24 +11:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h SELFOUR-444: Preemptible zeroing for retype. 2016-11-01 17:05:36 +11:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h conversion: fixed unnecessary word_t change 2015-12-10 10:45:22 +11:00
string.h Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
types.h ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h Mark halt as no-inline and no-return. 2016-12-12 17:30:50 +11:00