Adrian Danis bdf10bb4c1 Refactor includes so trace point support builds ... benchmark.h requires a definition of KS_LOG_PPTR, but its previous placement in machine.h resulted in a circular include. This commit factors out KS_LOG_PPTR and related definitions to a separate header, creates the corresponding header for x86, and prevents circular includes in the x86 builds		2016-11-23 14:29:00 +11:00
..
cap.h	Move cap definitions from objecttype into header	2016-10-20 15:45:06 +11:00
cnode.h	Remove recycle	2016-11-18 14:10:01 +11:00
endpoint.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
interrupt.h	x86: IOAPIC/MSI syscalls	2016-02-02 15:58:18 +11:00
notification.h	SELFOUR-317: rename async endpoint to notification object, and other	2015-11-09 17:18:43 +11:00
objecttype.h	Remove recycle	2016-11-18 14:10:01 +11:00
structures.h	Refactor includes so trace point support builds	2016-11-23 14:29:00 +11:00
structures_32.bf	SELFOUR-499: X86, ARM: Add userspace invocations for hardware debugging	2016-10-10 13:53:21 +11:00
structures_64.bf	x64: Partial hardware breakpoint support	2016-10-12 13:38:37 +11:00
tcb.h	Move migration logic to own function	2016-11-18 16:34:13 +11:00
untyped.h	SELFOUR-444: Preemptible zeroing for retype.	2016-11-01 17:05:36 +11:00