From: Andreas Larsson <andreas@gaisler.com>Date: Fri, 5 Dec 2014 10:55:28 +0100> It is being filled in using std in leon_cross_call.> > Signed-off-by: Andreas Larsson <andreas@gaisler.com>Applied.