crash: l4linux with virtual PCI bus enabled

[Arno Toell]

On 15.06.2011 15:04, Arno Toell wrote:
> l4linux | Page fault (non-resolved): pfa=6 pc=61fff9
> Die message: Trap: 14
> Trap: 14: 0006 [#1]

Further debugging shows, 61fff9 resolves to:

/home/arno/l4linux/include/linux/list.h:88
 * This is only for internal list manipulation where we know
 * the prev/next entries already!
 */
static inline void __list_del(struct list_head * prev, struct list_head
* next)
{
        next->prev = prev;
  61fff9:       89 41 04                mov    %eax,0x4(%ecx)

i.e. the following function in include/linux/list.h:


static inline void __list_del(struct list_head * prev, struct list_head
* next)
{
        next->prev = prev; // NULL pointer dereference here?
        prev->next = next;
}


-- 
Arno Töll
GnuPG Key-ID: 0x9D80F36D