Axel Heider acd693db17 prefer macro CURRENT_CPU_INDEX() ... Replace the macro SMP_TERNARY(getCurrentCPUIndex(), 0) by the much simpler macro CURRENT_CPU_INDEX() that does the same. Signed-off-by: Axel Heider <axelheider@gmx.de>		2021-08-17 18:19:37 +10:00
..
debug.h	debug: create debug_tcb_t struct	2020-07-22 00:31:18 +10:00
failures.h	Enabled IPC debug features under new config	2020-04-06 14:21:46 +10:00
faults.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
syscall.h	replacing all ifndef with pargma once	2020-03-23 11:04:46 +11:00
types.h	prefer macro CURRENT_CPU_INDEX()	2021-08-17 18:19:37 +10:00