167 void gki_print_buffer_statistics(FP_PRINT print, INT16 pool)  in gki_print_buffer_statistics()  argument
176         print("Not a valid Buffer pool\n");  in gki_print_buffer_statistics()
183     print("Buffer Pool[%u] size=%u cur_cnt=%u max_cnt=%u  total=%u\n",  in gki_print_buffer_statistics()
187     print("      Owner  State    Sanity\n");  in gki_print_buffer_statistics()
188     print("----------------------------\n");  in gki_print_buffer_statistics()
193 …print("%3d: 0x%02x %4d %10s\n", i, hdr->task_id, hdr->status, (*magic == MAGIC_NO)?"OK":"CORRUPTED…  in gki_print_buffer_statistics()
207 GKI_API void gki_print_used_bufs (FP_PRINT print, UINT8 pool_id)  in gki_print_used_bufs()  argument
220         print("Not a valid Buffer pool\n");  in gki_print_used_bufs()
236             print ("%d:0x%x (Q:%d,Task:%s,Stat:%d,%s) %04x %04x %04x %04x %04x %04x %04x %04x\n",  in gki_print_used_bufs()
257 void gki_print_task (FP_PRINT print)  in gki_print_task()  argument
261     print("TID VID TASKNAME STATE WAIT WAITFOR TIMEOUT STACK\n");  in gki_print_task()
262     print("-------------------------------------------------\n");  in gki_print_task()
267             print("%2u  %-8s %-5s %04X    %04X %7u %u/%u Bytes\n",  in gki_print_task()
286 void gki_print_exception(FP_PRINT print)  in gki_print_exception()  argument
291     print ("GKI Exceptions:\n");  in gki_print_exception()
295         print("%d: Type=%d, Task=%d: %s\n", i,  in gki_print_exception()
302 void gki_dump (UINT8 *s, UINT16 len, FP_PRINT print)  in gki_dump()  argument
309             print("\n%lX: %02X, ", &s[i], s[i]);  in gki_dump()
311             print("%02X,  ", s[i]);  in gki_dump()
313             print("%02X, ", s[i]);  in gki_dump()
317     print("\n");  in gki_dump()
320 void gki_dump2 (UINT16 *s, UINT16 len, FP_PRINT print)  in gki_dump2()  argument
327             print("\n%lX: %04X, ", &s[i], s[i]);  in gki_dump2()
329             print("%04X, ", s[i]);  in gki_dump2()
333     print("\n");  in gki_dump2()
336 void gki_dump4 (UINT32 *s, UINT16 len, FP_PRINT print)  in gki_dump4()  argument
343             print("\n%lX: %08lX, ", &s[i], s[i]);  in gki_dump4()
345             print("%08lX, ", s[i]);  in gki_dump4()
349     print("\n");  in gki_dump4()