Home
last modified time | relevance | path

Searched defs:atcb_name (Results 1 – 2 of 2) sorted by relevance

/dports/devel/avr-gdb/gdb-7.3.1/gdb/
H A Dada-tasks.c373 const char *atcb_name = "system__tasking__ada_task_control_block___XVE"; in get_tcb_types_info() local
/dports/devel/gdb761/gdb-7.6.1/gdb/
H A Dada-tasks.c462 const char *atcb_name = "system__tasking__ada_task_control_block___XVE"; in get_tcb_types_info() local