txsibsf0_read
reg = txsibsf0_read(tc, addr);
return (TX39_SIBSF0_REGDATA(txsibsf0_read(tc, addr)));
u_int32_t txsibsf0_read(tx_chipset_tag_t, int);