WRITE_MB
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, lmaskd); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, lmaskd); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, rmaskd); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, rmaskd); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(sp, SFBCOPYALL1); WRITE_MB();
MEMWRITE32(dp, lmaskd); WRITE_MB();
MEMWRITE32(p, lmask); WRITE_MB();
MEMWRITE32(p, SFBSTIPPLEALL1); WRITE_MB();
MEMWRITE32(p, rmask); WRITE_MB();
WRITE_MB();
MEMWRITE32(p, lmask); WRITE_MB();
MEMWRITE32(p, SFBSTIPPLEALL1); WRITE_MB();
MEMWRITE32(p, rmask); WRITE_MB();
WRITE_MB();
WRITE_MB();
WRITE_MB();
WRITE_MB();
WRITE_MB();
WRITE_MB();