SUB_SYNC_COUNTER_MASK
return get_unaligned_le32(&buf[1]) & SUB_SYNC_COUNTER_MASK;
put_unaligned_le32(counter & SUB_SYNC_COUNTER_MASK, &buf[0]);
idtfc3->sub_sync_count = (get_unaligned_le32(buf) & SUB_SYNC_COUNTER_MASK) + 1;