Neil Conway wrote:
> > You also probably want to add the declaration for tidne() to> include/utils/builtins.h>
Doh! - Indeed, I obviously missed a few extra compile warnings!
Revised patch attached.