Searched refs:dbg_file (Results 1 – 4 of 4) sorted by relevance
| /devicemodel/hw/platform/ |
| A D | cmos_io.c | 35 static FILE * dbg_file; variable
37 do { fprintf(dbg_file, format, args); fflush(dbg_file); } while (0)
50 if (!dbg_file) in cmos_io_handler()
51 dbg_file = fopen("/tmp/cmos_log", "a+"); in cmos_io_handler()
|
| /devicemodel/core/ |
| A D | monitor.c | 60 static FILE * dbg_file; variable
62 do { fprintf(dbg_file, format, args); fflush(dbg_file); } while (0)
71 fprintf(dbg_file, "\n==%d time devs=%d==\n", wr_cnt, hdr->buf_cnt / 2); in write_intr_data_to_file()
72 fprintf(dbg_file, "IRQ\t\tCount\n"); in write_intr_data_to_file()
76 fprintf(dbg_file, "%ld\t\t%ld\n", hdr->buffer[j], hdr->buffer[j + 1]); in write_intr_data_to_file()
80 fflush(dbg_file); in write_intr_data_to_file()
94 dbg_file = fopen("/tmp/intr_log", "w+"); in intr_storm_monitor_thread()
|
| /devicemodel/hw/pci/ |
| A D | wdt_i6300esb.c | 72 static FILE * dbg_file; variable
74 do { fprintf(dbg_file, format, args); fflush(dbg_file); } while (0)
370 dbg_file = fopen("/tmp/wdt_log", "w+"); in pci_wdt_init()
|
| /devicemodel/hw/pci/virtio/ |
| A D | virtio_mei.c | 214 FILE *dbg_file; in vmei_dbg_print_hex() local
220 dbg_file = (vmei_dbg_file) ? vmei_dbg_file : stdout; in vmei_dbg_print_hex()
223 fprintf(dbg_file, "%s ", title); in vmei_dbg_print_hex()
227 fprintf(dbg_file, "\n"); in vmei_dbg_print_hex()
228 fprintf(dbg_file, "%02x ", bytes[i]); in vmei_dbg_print_hex()
230 fprintf(dbg_file, "\n"); in vmei_dbg_print_hex()
|
Completed in 9 milliseconds