F367CAB_MIX_NCO_INC_HH
stv0367_writebits(state, F367CAB_MIX_NCO_INC_HH, (sampled_if >> 16));
(stv0367_readbits(state, F367CAB_MIX_NCO_INC_HH) << 16);