pc_serial: trace when ignoring the kernel debug port.

* Since it is currently ignored even when serial debug is disabled in
the settings file, this was a bit confusing.
This commit is contained in:
Adrien Destugues 2014-11-21 17:14:57 +01:00
parent fbf05ef15b
commit ec1395bda9

View File

@ -526,8 +526,10 @@ scan_isa_hardcoded()
for (i = 0; i < 4; i++) { for (i = 0; i < 4; i++) {
// skip the port used for kernel debugging... // skip the port used for kernel debugging...
if (sHardcodedPorts[i].ioBase == gKernelDebugPort) if (sHardcodedPorts[i].ioBase == gKernelDebugPort) {
TRACE_ALWAYS("Skipping port %d as it is used for kernel debug.\n", i);
continue; continue;
}
SerialDevice *device; SerialDevice *device;
device = new(std::nothrow) SerialDevice(&sSupportedDevices[0], device = new(std::nothrow) SerialDevice(&sSupportedDevices[0],