Symptom:
Card experienced a SESSMGR crash on DPC that caused a card migration.  Here is the Stack Trace:

Fatal Signal 11: Segmentation fault
  PC: [0515f1e6/X] tmr_stop()
  Faulty address: 0x8
  Signal from: kernel
  Signal detail: address not mapped to object
  Process: card=8 cpu=0 arch=X pid=6728 cpu=~22% argv0=sessmgr
  Crash time: 2014-Apr-07+12:06:25 UTC
  Recent errno: 11 Resource temporarily unavailable
  Stack (60376@0xfffef000):
    [0515f1e6/X] tmr_stop() sp=0xfffefca8
    [07ece675/X] stop_mscc_timers() sp=0xfffefcd8
    [07f65c6b/X] acsmgr_dcca_free_acs_sub_sess_info() sp=0xfffefd48
    [07f6d498/X] acsmgr_dcca_clp_gone() sp=0xfffefdd8
    [08133811/X] acsmgr_abort_call() sp=0xffff0348
    [080b71ce/X] acs_respond_to_sess_release_req() sp=0xffffd598
    [080a9cc3/X] acs_process_transactn() sp=0xffffd5c8
    [080aa216/X] acs_stack_unwind_sn_timer_handler() sp=0xffffd5f8
    [0a9d4126/X] sn_loop_run() sp=0xffffdb88
    [0a7be024/X] main() sp=0xffffdbc8

Conditions:
Running under normal conditions.