clflushopt
clflushopt(addr);
clflushopt(end - 1); /* force serialisation */
clflushopt(page_virtual + i);