tree 0184e655f66fb84e0b558282116c710685598736
parent 27cbe8d4d1012847029dd8d7af1d6a41c22ddec6
author Michal Simek <monstr@monstr.eu> 1289568430 +0100
committer Michal Simek <monstr@monstr.eu> 1294046216 +0100

microblaze: Clear i/dcache for sw breakpoints

There is necessary to flush dcache and invalidate
icache for address where breakpoint (brki r16, 0x18)
was. The reason is that for some cases icache line
still keeps brki instruction and it is not updated
by origin instruction maintains by gdbserver.

Signed-off-by: Michal Simek <monstr@monstr.eu>