ipnuma_pingpong.c: flush dcache