Andrew Boie d1f50122f9 kernel: move timing externs to public header ... These arch_timing_ defines get used in certain timer drivers and need to be in the public include space, and not the private kernel headers. Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>		2020-02-06 23:07:37 -05:00
..
gen_offset.h
kernel_arch_interface.h	kernel: move timing externs to public header	2020-02-06 23:07:37 -05:00
kernel_internal.h	mempool: use k_malloc heap for ISR allocations	2020-01-24 09:27:59 -08:00
kernel_offsets.h	arch/x86/intel64: Fix assumption with dummy threads	2019-10-19 12:09:32 -07:00
ksched.h	kernel/sched: Put k_thread_start() under a single lock	2020-02-03 09:31:56 -05:00
kswap.h	kernel/swap: Add SMP "wait for switch" synchronization	2020-01-21 14:47:52 -08:00
offsets_short.h	x86: implement interrupt stack trampoline	2019-02-14 12:46:36 -05:00