SFB_ASIC_PIXELSHIFT
SFBWRITE32(BUMP(p), SFB_ASIC_PIXELSHIFT, (v))
(*(uint32_t *)(BUMP(p) + SFB_ASIC_PIXELSHIFT) = (v))