Re: [Xenomai-help] BUG: unable to handle kernel paging request

[Victor Shulyak <V.I.Shulyak@domain.hid>]

Hello


> > > > However, since there seem to be a clean backtrace, maybe we could give a
> > > > try anyway. Could you objdump your kernel image, then locate the faulty
> > > > routine containing eip=0xc7b84d51?
I can apply objdump to kernel modules, but when this utility was applied
to kernel image, error message is displayed
objdump: /boot/vmlinuz-xenomai: File format not recognized
How could I objdump my kernel image?


> > > Let's suppose we can believe in sanity of the call trace, then would
> > > you, Victor, provide a disassembled code for
> > > __ipipe_handle_exception() ?
> > >
I will do this with pleasure, one thing to know, which tools can help
me?


> > --- arch/i386/kernel/entry.S~	2006-12-16 13:32:29.000000000 +0100
> > +++ arch/i386/kernel/entry.S	2007-01-26 23:44:59.000000000 +0100
> > @@ -1032,7 +1032,7 @@
> >  	RING0_INT_FRAME
> >  	pushl $0			# no error code
> >  	CFI_ADJUST_CFA_OFFSET 4
> > -	pushl $do_divide_error
> > +	PUSH_XVEC(do_divide_error)
> 
> s,PUSH_XVEC,PUSH_XCODE,
> 
> >  	CFI_ADJUST_CFA_OFFSET 4
> >  	jmp error_code
> >  	CFI_ENDPROC

I did so.


Thanks, Victor