| 37 | } |
| 38 | |
| 39 | void write_serial_n(const char* s, unsigned n) { |
| 40 | unsigned i = 0; |
| 41 | |
| 42 | if(CheckInterrupts()) |
| 43 | acquireLock(&lock); // Make the serial output readable |
| 44 | while (i++ < n){ |
| 45 | while(is_transmit_empty() == 0); |
| 46 | outportb(PORT, *s++); |
| 47 | } |
| 48 | if(CheckInterrupts()) |
| 49 | releaseLock(&lock); |
| 50 | } |
no test coverage detected