d138470380992d2278e931dd308f5cbdb771357evboxsync/* $Id$ */
d138470380992d2278e931dd308f5cbdb771357evboxsync/** @file
2fc2c96c3b1a83fce88438c4104a9fb7c1a0ef03vboxsync * FwCommon - Shared firmware code, header.
d138470380992d2278e931dd308f5cbdb771357evboxsync */
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync/*
c7814cf6e1240a519cbec0441e033d0e2470ed00vboxsync * Copyright (C) 2009-2012 Oracle Corporation
d138470380992d2278e931dd308f5cbdb771357evboxsync *
d138470380992d2278e931dd308f5cbdb771357evboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
d138470380992d2278e931dd308f5cbdb771357evboxsync * available from http://www.virtualbox.org. This file is free software;
d138470380992d2278e931dd308f5cbdb771357evboxsync * you can redistribute it and/or modify it under the terms of the GNU
d138470380992d2278e931dd308f5cbdb771357evboxsync * General Public License (GPL) as published by the Free Software
d138470380992d2278e931dd308f5cbdb771357evboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
d138470380992d2278e931dd308f5cbdb771357evboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
d138470380992d2278e931dd308f5cbdb771357evboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
d138470380992d2278e931dd308f5cbdb771357evboxsync */
d138470380992d2278e931dd308f5cbdb771357evboxsync
2fc2c96c3b1a83fce88438c4104a9fb7c1a0ef03vboxsync#ifndef ___PC_FwCommon_h
2fc2c96c3b1a83fce88438c4104a9fb7c1a0ef03vboxsync#define ___PC_FwCommon_h
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync#include "DevPcBios.h"
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync/** @def VBOX_MPS_TABLE_BASE
d138470380992d2278e931dd308f5cbdb771357evboxsync *
d138470380992d2278e931dd308f5cbdb771357evboxsync * Must be located in the same page as the DMI table.
d138470380992d2278e931dd308f5cbdb771357evboxsync */
3574114795b4a34c93e61e20855b43b0304fc9c8vboxsync#define VBOX_MPS_TABLE_BASE (VBOX_DMI_TABLE_BASE+VBOX_DMI_TABLE_SIZE)
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync/* Plant DMI table */
e44c3c2cf8408163ddd061cfba5e515e853bd25cvboxsyncint FwCommonPlantDMITable(PPDMDEVINS pDevIns, uint8_t *pTable, unsigned cbMax, PCRTUUID pUuid, PCFGMNODE pCfg, uint16_t cCpus, uint16_t *pcbDmiTables, uint16_t *pcNumDmiTables);
e44c3c2cf8408163ddd061cfba5e515e853bd25cvboxsyncvoid FwCommonPlantSmbiosAndDmiHdrs(PPDMDEVINS pDevIns, uint16_t cbDmiTables, uint16_t cNumDmiTables);
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync/* Plant MPS table */
0a4d4232b6fb9d044f8f70a8421280c3f25e15c3vboxsyncvoid FwCommonPlantMpsTable(PPDMDEVINS pDevIns, uint8_t *pTable, unsigned cbMax, uint16_t cCpus);
5ee46403450f24015225c4b739233d8a0c88b52fvboxsyncvoid FwCommonPlantMpsFloatPtr(PPDMDEVINS pDevIns);
d138470380992d2278e931dd308f5cbdb771357evboxsync
d138470380992d2278e931dd308f5cbdb771357evboxsync#endif