On Wed, Mar 02, 2016 at 04:00:49PM +0100, Sedat Dilek wrote: > > > > Right, most odd. Sedat, could you provide objdump -D of the relevant > > sections of vmlinux ? > > > > Can you give some clear instructions - for what shall I look for in special?
objdump -D vmlinux | awk '/<[^>]*>:$/ { p=0; } /<del_timer_sync>:/ { p=1; } {
if (p) print $0; }'
might be a good start, esp. if the output differs between the LLVM and
GCC cases (+- address muck).
