/drivers/ddk/debug/dbglog.c |
---|
99,6 → 99,7 |
int vsnprintf(char *s, size_t n, const char *format, va_list arg); |
int printf(const char* format, ...) |
{ |
char txtbuf[256]; |
135,7 → 136,9 |
{ |
SysMsgBoardStr(txtbuf); |
if(dbgfile.path) |
/* do not write into log file if interrupts disabled */ |
if ( (get_eflags() & (1 << 9)) && dbgfile.path) |
{ |
write_file(dbgfile.path,txtbuf,dbgfile.offset,len,&writes); |
dbgfile.offset+=writes; |