I think I mis-directed this earlier.

I am running 4.0-current SMP as of Apr 21.

LINT has two versions of values for ports.  One is in quotes and the
other is not.

For example,

device          npx0    at nexus? port IO_NPX iosiz 0x0 flags 0x0 irq 13
device          sio0    at isa? port "IO_COM1" tty flags 0x10 irq 4

The definition of IO_NPX and IO_COM1 have the same form in
sys/isa/isareg.h, sys/i386/isa/isa.h, etc.

Some time back, someone posted guidance like "if it contains letters
and numbers, quote it, otherwise don't."

Which form should be used for these values?

LINT shows ppc0 as a device and 'man ppc' says it is a controller.  I
believe earlier versions of LINT had ppc as a controller.  Which is
correct?

sio1 is not in LINT, but it is in GENERIC.  Some devices like fd have
both fd0 and fd1.  Since two serial ports is common should LINT have
sio1?  Newer machines are more likely to have two serial ports than
two floppy drives.

tomdean


To Unsubscribe: send mail to majord...@freebsd.org
with "unsubscribe freebsd-current" in the body of the message

Reply via email to