<blockquote style="border-left: 1px solid #aaa; margin: 10px 0; padding: 0 10px;"><p style="white-space: pre-wrap; word-wrap: break-word;">is this really needed? particularly now that the console is going<br>through the ringbuffer and is not busy-waiting?  Can we print the<br>message at a later point after we left IRQ context?</p></blockquote><p style="white-space: pre-wrap; word-wrap: break-word;">the message is printed in sniffer.c just before using update_fidi (at the end of the PPS procedure).<br>I still would avoid any printf since it is still used in an ISR (only after a SIM RST though).<br>I don't mind leaving the messages, but then the reset handling should be placed outside the ISR (which is fine with me, since resets are quit long usually).<br>as you prefer</p><p><a href="https://gerrit.osmocom.org/9863">View Change</a></p><ul style="list-style: none; padding: 0;"></ul><p>To view, visit <a href="https://gerrit.osmocom.org/9863">change 9863</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/9863"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: simtrace2 </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: comment </div>
<div style="display:none"> Gerrit-Change-Id: I08f407d407a18dae3f360ddc64769ddfaeb5b559 </div>
<div style="display:none"> Gerrit-Change-Number: 9863 </div>
<div style="display:none"> Gerrit-PatchSet: 4 </div>
<div style="display:none"> Gerrit-Owner: Kévin Redon <kredon@sysmocom.de> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: Kévin Redon <kredon@sysmocom.de> </div>
<div style="display:none"> Gerrit-CC: Harald Welte <laforge@gnumonks.org> </div>
<div style="display:none"> Gerrit-Comment-Date: Wed, 04 Jul 2018 14:03:30 +0000 </div>
<div style="display:none"> Gerrit-HasComments: No </div>
<div style="display:none"> Gerrit-HasLabels: No </div>