Benjamin Walsh 1f8125a416 x86: fix irq_lock/unlock ordering bug ... Memory accesses could be reordered before an irq_lock() or after an irq_unlock() without the memory barriers. See commit 15bc537712 for the ARM fix for a complete description of the issue and fix. Change-Id: Ic92a6b33f62a938d2252d68eccc55a5fb07c9114 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-12-02 18:07:22 +00:00
..
addr_types.h	x86: Rename PHYS_ADDR/VIRT_ADDR to paddr_t/vaddr_t	2016-02-05 20:24:41 -05:00
arch.h	doc: Various corrections to doxygen info for Kernel APIs	2016-11-16 21:43:16 +00:00
asm_inline_gcc.h	x86: fix irq_lock/unlock ordering bug	2016-12-02 18:07:22 +00:00
asm_inline.h	trivial: remove old reference to nanokernel/cpu.h	2016-11-07 15:39:16 +00:00
asm.h	Change BSD-3 licenses to Apache 2	2016-02-05 20:24:29 -05:00
irq_controller.h	interrupt_controller: allow for indeterminate faulting vectors	2016-09-08 12:47:14 -07:00
linker.ld	build: x86: add some flexibility in custom linker scripts	2016-11-30 22:47:02 +00:00
segmentation.h	x86: add _set_idt()	2016-11-29 14:52:08 -08:00