Searched refs:picokdbg_getDbg (Results 1 – 4 of 4) sorted by relevance
60 picokdbg_Dbg picokdbg_getDbg(picoknow_KnowledgeBase this);
114 picokdbg_Dbg picokdbg_getDbg(picoknow_KnowledgeBase this) { in picokdbg_getDbg() function
63 picokdbg_Dbg dbg = (NULL == kbdbg) ? NULL : picokdbg_getDbg(kbdbg); in PICOTRNS_PRINTSYM1()
1125 kdbg = picokdbg_getDbg(kb); in picodata_info_item()