On 04/29/2014 10:33 AM, Stefan Weil wrote: > I'm still investigating whether it's necessary to set tci_tb_ptr to 0 > (as you suggested). Up to now, the TCI code did never invalidate > tci_tb_ptr, but there was no obvious indication of problems caused by > this behaviour.
Oh, I mis-read this bit before. You could be right that it's not needed, now that we've fixed the code reading functions to hard-code NULL as the return address. r~
