[arm64] manually flush icache
commit802cf1dfbed5cef662dd65f07784360013d62c6e
authorBernhard Urban <bernhard.urban@xamarin.com>
Fri, 9 Sep 2016 22:42:58 +0000 (10 00:42 +0200)
committerBernhard Urban <bernhard.urban@xamarin.com>
Fri, 9 Sep 2016 22:42:58 +0000 (10 00:42 +0200)
tree5228e7ce00126577ed7b5b36eb63b9f74979b421
parent48c3c08e30a85a0edf5c5fbd1fbc4c66555fe281
[arm64] manually flush icache

should fix https://bugzilla.xamarin.com/show_bug.cgi?id=39859
mono/mini/mini-arm64.c