Use inline assembler version of dflush