Some Errors in DDE

[Jingyi WANG]

hi,
I'm porting a sound card(ens1370)to DDE, but found some errors  in the
function of kobj_map whic is  in
map.c(l4/pkg/dde/linux26/contrib.drivers/base/map.c)
What's more, I check the ELF format of this sound card.The error is in the
address of 821607. The related messages show as follows:

/home/wangjingyi/l4/tudos/l4/pkg/dde/linux26/contrib/drivers/base/map.c:58
        mutex_lock(domain->lock);
  821603:       8b 55 08                mov    0x8(%ebp),%edx
  821606:       58                      pop    %eax
  821607:       8b 82 fc 03 00 00       mov    0x3fc(%edx),%eax
  82160d:       50                      push   %eax
  82160e:       e8 cd 65 02 00          call   847be0 <mutex_lock>

I was wondering  what caused this error and how to fix it.
Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20091024/5c55b67a/attachment.html>