acpi: bad write to port

[Gavin Atkinson]

On Mon, 2006-08-07 at 16:01 +0200, Bruno Ducrot wrote:
> On Mon, Aug 07, 2006 at 03:35:41PM +0200, Dimitry Andric wrote:
> > Oliver Fromme wrote:
> > > acpi: bad write to port 0x080 (32), val ...
> > ...
> > > Do I have to worry?  So far it doesn't seem to cause any
> > > harm.
> > 
> > It's probably just a buggy BIOS, see:
> > http://lists.freebsd.org/pipermail/freebsd-acpi/2006-June/002890.html
> 
> IMO this io (0x80) should not be blacklisted.  It's used as a debug port
> in that context.

However the 0x80 port is a single byte wide - and his AML is trying to
write 32 bits to it, so it's falling foul of the (correct) blocking of
writes to port in the range 0x81 - 0x83.

Gavin