p-szafonimateusz 530f5cd324 arch/intel64: add cache support ... Add dcache and icache support for intel64 Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>		2024-04-22 23:13:44 +02:00
..
arch.h	arch/intel64: add cache support	2024-04-22 23:13:44 +02:00
inttypes.h
io.h
irq.h	intel64/intel64_irq.c: support interrupts up to 255	2024-03-08 20:18:39 -03:00
limits.h
types.h