so we shouldn't override it with versions in the manpages. Wheee!
Uses the ARM32_DRAIN_WRITEBUF sysarch() call.