REX_PAGE1_SET
return (rex_read(dc, REX_PAGE1_SET, REX_P1REG_VC1_ADDRDATA));
rex_write(dc, REX_PAGE1_SET, REX_P1REG_VC1_ADDRDATA, val);
while (rex_read(dc, REX_PAGE1_SET,REX_P1REG_CFGMODE) & REX_CFGMODE_BUSY)
rex_write(dc, REX_PAGE1_SET, REX_P1REG_CFGSEL, REX_CFGSEL_VC1_LADDR);
return (rex_read(dc, REX_PAGE1_SET, REX_P1REG_WCLOCKREV) & 0x7);
(void *)(intptr_t)(ga->ga_ioh + REX_PAGE1_SET + REX_P1REG_XYOFFSET),
REX_PAGE1_SET + REX_P1REG_XYOFFSET) != 0x08000800)