make cache_flush_ not const, because syscalls are usually not
[libpicofe.git] / plat_dummy.c
2012-11-05 notazadd dummy platform file