Enduro/X Core

bash-5.0$ dbx ../../dist/bin/tpbridge ./core 
Type 'help' for help.
[using memory image in ./core]
reading symbolic information ...

Segmentation fault in ndrx_svq_receive at line 824 in file "/home/user1/endurox/libnstd/sys_svq.c" ($t1)
  824       *l = 1;
(dbx) where
ndrx_svq_receive(mqd = 0x00000001122d7010, ptr = warning: Unable to access address 0x18 from core
(invalid char ptr (0x0000000000000018)), maxlen = 65552, priop = 0x0ffffffffffff068), line 824 in "sys_svq.c" 
unnamed block in sv_wait_for_request(), line 1441 in "svqdispatch.c" 
sv_wait_for_request(), line 1441 in "svqdispatch.c" 
ndrx_main(argc = 19, argv = 0x0ffffffffffff350), line 1076 in "srvmain.c" 
ndrx_main_integra(argc = 19, argv = 0x0ffffffffffff350, in_tpsvrinit = 0x0000000110000b50, in_tpsvrdone = 0x0000000110000cd0, flags = 0), line 202 in "integra.c" 
main(argc = 19, argv = 0x0ffffffffffff350), line 62 in "rawmain_fpa.c" 
(dbx) threads
threads
^ unrecognized command
(dbx) thread
 thread  state-k     wchan            state-u    k-tid mode held scope function
>$t1     run                          running  65536257   k   no   sys  ndrx_svq_receive  
 $t2     run                          running  54264319   u   no   sys  send              
 $t3     run                          blocked  37814653   u   no   sys  _global_lock_common
 $t4     run                          blocked  45744581   u   no   sys  _event_sleep      
 $t5     run                          blocked  44302733   u   no   sys  _event_sleep      
(dbx) thread 2
 thread  state-k     wchan            state-u    k-tid mode held scope function
 $t2     run                          running  54264319   u   no   sys  send              
(dbx) where
ndrx_svq_receive(mqd = 0x00000001122d7010, ptr = warning: Unable to access address 0x18 from core
(invalid char ptr (0x0000000000000018)), maxlen = 65552, priop = 0x0ffffffffffff068), line 824 in "sys_svq.c" 
unnamed block in sv_wait_for_request(), line 1441 in "svqdispatch.c" 
sv_wait_for_request(), line 1441 in "svqdispatch.c" 
ndrx_main(argc = 19, argv = 0x0ffffffffffff350), line 1076 in "srvmain.c" 
ndrx_main_integra(argc = 19, argv = 0x0ffffffffffff350, in_tpsvrinit = 0x0000000110000b50, in_tpsvrdone = 0x0000000110000cd0, flags = 0), line 202 in "integra.c" 
main(argc = 19, argv = 0x0ffffffffffff350), line 62 in "rawmain_fpa.c"