99c99,100
< void writeOutSMBiosTable(Addr header, Addr table = 0);
---
> void writeOutSMBiosTable(Addr header,
> Addr &headerSize, Addr &tableSize, Addr table = 0);