TXC_RO_STATE1_REG
TXC_RO_STATE1_REG,
TXC_FZC_CNTL_REG_READ64(handle, TXC_RO_STATE1_REG, port, &s1.value);
