clflushopt
clflushopt(p);
clflushopt(addr);
clflushopt(end - 1); /* force serialisation */
clflushopt(page_virtual + i);
clflushopt((void *)dest);
B(clflushopt, 23)