SPX_FB_ADDR
return (SPX_FB_ADDR + offset) >> PGSHIFT;
ioaccess((vaddr_t)spxaddr, SPX_FB_ADDR, fbsize);