| /drivers/ddk/debug/dbglog.c |
|---|
| 135,17 → 135,15 |
| if( len ) |
| { |
| if( dbgfile.path) |
| { |
| SysMsgBoardStr(txtbuf); |
| /* do not write into log file if interrupts disabled */ |
| if ( get_eflags() & (1 << 9) ) |
| if ( (get_eflags() & (1 << 9)) && dbgfile.path) |
| { |
| write_file(dbgfile.path,txtbuf,dbgfile.offset,len,&writes); |
| dbgfile.offset+=writes; |
| }; |
| } |
| else SysMsgBoardStr(txtbuf); |
| }; |
| return len; |
| } |