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!