On Thu, Mar 26, 2015 at 05:26:57PM +0100, Tianchi Huang wrote:
> eddie@eddie-VirtualBox:~/Desktop/xenomai-3/linux-3.14.17/arch/arm/mach-at91$
> objdump -t *.o | grep gpio_irq_handler -H
> (standard input):0000c17c l F .text 000000d4 gpio_irq_handler
> (standard input):0018db84 l F .text 000000d0 gpio_irq_handler
> eddie@eddie-VirtualBox:~/Desktop/xenomai-3/linux-3.14.17/arch/arm/mach-at91$
> objdump -t *.o > log
Look for the symbol gpio_irq_handler in the vmlinux file, then run
addr2line to see where the symbol comes from.
--
Gilles.
_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai
