doflush
if (doflush() == -1)
(void) doflush();
if (doflush() == -1)
(void) doflush();
if (doflush() == -1) {
doflush(satype);
doflush(satype);
int doflush;
doflush = 0;
doflush = 1;
doflush = 1;
doflush = 1;
if (doflush) {
int nout = 0, tag, doflush;
doflush = 0;
doflush = 1;
doflush = 1;
if (doflush) {
int doflush;
doflush = 0;
doflush = 1;
doflush = 1;
doflush = 1;
if (doflush) {
doflush(addr);
extern void doflush(void *);
doflush(ka + (uintptr_t)(rp->r_pc % PAGESIZE));
doflush(va);
doflush(va);
doflush((caddr_t)((uintptr_t)va & -8l));
doflush(0);
doflush(0);
doflush(va);