--- Comment #2 from Giuseppe D'Angelo <dangelog@???> 2013-06-17 23:45:47 ---
I think Android (and bionic) are indeed not conformant with Linux / glibc; but
cacheflush seems to be there (and, the bug reporter confirmed that the patch
fixes the problem :-)):