Anna Lyons 8c02bc1301 x64: implement seL4_BenchmarkFlushCaches ... by moving the ia32 implementation up a level to x86 and implementing the syscall stub.		2017-04-11 14:14:10 +10:00
..
arm	arm hyp: make invokeVCPUInjectIRQ index arg unsigned long	2017-04-06 13:45:43 +10:00
x86/arch	x64: implement seL4_BenchmarkFlushCaches	2017-04-11 14:14:10 +10:00