Manual flush in write and mfence