SIBA_REG_GET
*iost = (SIBA_REG_GET(tmhigh, TMH_SISF));
*ioctl = (SIBA_REG_GET(ts_low, TML_SICF));
ioctl = SIBA_REG_GET(ts_low, TML_SICF);
cflags = SIBA_REG_GET(ts_low, TML_SICF);
ocp_vendor = SIBA_REG_GET(idhigh, IDH_VENDOR);
sonics_rev = SIBA_REG_GET(idlow, IDL_SBREV);
num_admatch = SIBA_REG_GET(idlow, IDL_NRADDR) + 1 /* + enum block */;
intr_flag = SIBA_REG_GET(tpsflag, TPS_NUM0);
.device = SIBA_REG_GET(idhigh, IDH_DEVICE),
printf("\tvendor:\t0x%04x\n", SIBA_REG_GET(idhigh, IDH_VENDOR));
printf("\tdevice:\t0x%04x\n", SIBA_REG_GET(idhigh, IDH_DEVICE));
printf("\tsbrev:\t0x%02x\n", SIBA_REG_GET(idlow, IDL_SBREV));
nraddr = SIBA_REG_GET(idlow, IDL_NRADDR);
am_type = SIBA_REG_GET(am, AM_TYPE);
admatch->am_size = 1 << (SIBA_REG_GET(am, AM_ADINT0) + 1);
admatch->am_size = 1 << (SIBA_REG_GET(am, AM_ADINT1) + 1);
admatch->am_size = 1 << (SIBA_REG_GET(am, AM_ADINT2) + 1);
(SIBA_REG_GET((sbidh), IDH_RCE) | ((sbidh) & SIBA_IDH_RC_MASK))