Andy Ross 86430d8d46 kernel: arch: Clarify output switch handle requirements in arch_switch ... The original intent was that the output handle be written through the pointer in the second argument, though not all architectures used that scheme. As it turns out, that write is becoming a synchronization signal, so it's no longer optional. Clarify the documentation in arch_switch() about this requirement, and add an instruction to the x86_64 context switch to implement it as original envisioned. Signed-off-by: Andy Ross <andrew.j.ross@intel.com>		2020-01-21 14:47:52 -08:00
..
core	kernel: arch: Clarify output switch handle requirements in arch_switch	2020-01-21 14:47:52 -08:00
include	x86: implement kernel page table isolation	2020-01-17 16:17:39 -05:00
CMakeLists.txt	x86: consolidate x86_64 architecture, SoC and boards	2019-10-25 17:57:55 -04:00
gen_gdt.py
gen_idt.py	x86: gen_idt.py: Use enumerate() to fix pylint warning	2019-09-10 15:53:49 +02:00
ia32.cmake
intel64.cmake	arch/x86: initial Intel64 bootstrap framework	2019-09-15 11:33:47 +08:00
Kconfig	x86: implement kernel page table isolation	2020-01-17 16:17:39 -05:00