[SeaBIOS] [PATCH] KVM vcpu hotplug seabios infrastructure

[Kevin O'Connor]

On Sun, Jun 27, 2010 at 01:28:52PM +0800, Liu, Jinsong wrote:
> > Attached is updated patch:

I've been looking at this patch.

I've had a hard time understanding how the SSDT code works.  It looks
like the OS calls the \_GPE._L02 method, which reads ioport
0xaf00-0xaf20, determines which processors have changed state, updates
the madt tables, and then calls Notify(Cxx,).

Why is the madt table read/written?

I've also noticed this patch increases the seabios build size by 18K.
This isn't great because it is 18K that then can't be used by option
roms, and it brings seabios very close to its current 128K limit (124K
when full debugging enabled).

-Kevin