Stefan Lankes d203a070f4 add IPI support to flush the TLB on the other cores		2011-07-19 07:16:49 +02:00
..
x86	add IPI support to flush the TLB on the other cores	2011-07-19 07:16:49 +02:00