Andrew Boie 39dab07f49 x86: provide inline pentry_get() ... Non-debug code may need this functionality, create an inline. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2020-12-09 16:57:01 -08:00
..
core	x86: provide inline pentry_get()	2020-12-09 16:57:01 -08:00
include	arch/x86: Generalize dynamic irq connection on given vector	2020-12-08 09:29:20 -05:00
zefi	arch/x86: Make EFI copies bytewise	2020-10-13 14:07:24 -07:00
CMakeLists.txt	…
Kconfig	arch: mem protect Kconfig cleanups	2020-11-18 08:02:08 -05:00
gen_gdt.py	x86: add support for thread local storage	2020-10-24 10:52:00 -07:00
gen_idt.py	…
gen_mmu.py	x86: use unused PTE bits when mapping memory	2020-11-05 09:33:40 -05:00
ia32.cmake	…
intel64.cmake	…
timing.c	timing: do not repeatedly do init()/start()/stop()	2020-11-11 23:55:49 -05:00