Adrian Danis cfe0f8e9db x64: Support for hardware debugging when using SYSENTER ... Hardware debugging was already supported if using SYSCALL for kernel invocations, this adds support for when using SYSENTER. SYSENTER is special because when entering the kernel the TF flag is not masked, so the case of taking a debug exception in the kernel needs to be handled. Also, unlike ia32, there is a race between performing popf and calling sysexit where interrupts can be received. This race is avoided by performing a full state restore with iret if a thread is single stepping.		2016-10-14 15:47:16 +11:00
..
api	x64: extend message_info_t to 64-bit	2016-10-12 12:22:32 +11:00
arch	x64: Support for hardware debugging when using SYSENTER	2016-10-14 15:47:16 +11:00
fastpath	x64: Fastpath	2016-10-12 12:22:32 +11:00
kernel	SELFOUR-631: implement CLH lock and barrier infrastructure	2016-10-06 11:50:57 +11:00
machine	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
model	[STYLE_FIX]	2016-10-12 00:17:10 +00:00
object	x64: Partial hardware breakpoint support	2016-10-12 13:38:37 +11:00
plat	pc99: Update autoconf.h for standalone builds	2016-10-12 14:18:55 +11:00
api.h
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
benchmark.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_tracepoints_types.h	Benchmark: Share trace point log structure with the user	2016-08-26 11:13:05 +10:00
benchmark_track.h	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
benchmark_track_types.h	SELFOUR-446 Benchmark: Share kernel entry types with user-level	2016-06-07 09:19:31 +10:00
benchmark_utilisation.h	SELFOUR-632: implement cores non-architecture dependent structres	2016-10-10 16:33:48 +11:00
benchmark_utilisation_types.h	SELFOUR-448 Benchmark: Track thread's CPU utilisation time	2016-06-24 12:43:09 +10: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-421 Introduce explicit device frames and untypeds	2016-09-23 14:15:08 +10:00
machine.h	SELFOUR-607: inline remaining irq path functions	2016-08-09 16:18:34 +10:00
Makefile
object.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
stdarg.h
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	Merge pull request #274 in SEL4/sel4 from ~MFERNANDEZ/sel4:8dafd43a-daa8-4d38-ad7e-3ac425d50087 to master	2016-07-21 05:03:02 +00:00