kernel/fiasco/src/templates/.gdbinit.ux

   1 # GDB init file for use with Fiasco-UX (rename to .gdbinit)
   2
   3 define tcb
   4   p *(class Thread*)((unsigned)&_tcbs_1 + (($arg0 << 17) + ($arg1 << 10) << 1))
   5 end
   6
   7 define dtcb
   8   graph display *(class Thread*)((unsigned)&_tcbs_1 + (($arg0 << 17) + ($arg1 << 10) << 1))
   9 end
  10
  11 define tcbat
  12   p *(class Thread*)($arg0)
  13 end
  14
  15 file fiasco
  16
  17 set output-radix 16
  18 set history save on
  19
  20 handle 11 nostop noprint