VirtualBox

source: vbox/trunk/src/VBox/Devices/PC/DevFwCommon.h@ 44582

Last change on this file since 44582 was 44529, checked in by vboxsync, 12 years ago

header (C) fixes

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 1.3 KB
Line 
1/* $Id: DevFwCommon.h 44529 2013-02-04 15:54:15Z vboxsync $ */
2/** @file
3 * FwCommon - Shared firmware code, header.
4 */
5
6/*
7 * Copyright (C) 2009-2012 Oracle Corporation
8 *
9 * This file is part of VirtualBox Open Source Edition (OSE), as
10 * available from http://www.virtualbox.org. This file is free software;
11 * you can redistribute it and/or modify it under the terms of the GNU
12 * General Public License (GPL) as published by the Free Software
13 * Foundation, in version 2 as it comes in the "COPYING" file of the
14 * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
15 * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
16 */
17
18#ifndef ___PC_FwCommon_h
19#define ___PC_FwCommon_h
20
21#include "DevPcBios.h"
22
23/** @def VBOX_MPS_TABLE_BASE
24 *
25 * Must be located in the same page as the DMI table.
26 */
27#define VBOX_MPS_TABLE_BASE (VBOX_DMI_TABLE_BASE+VBOX_DMI_TABLE_SIZE)
28
29/* Plant DMI table */
30int FwCommonPlantDMITable(PPDMDEVINS pDevIns, uint8_t *pTable, unsigned cbMax, PCRTUUID pUuid, PCFGMNODE pCfg, uint16_t cCpus, uint16_t *pcbDmiTables);
31void FwCommonPlantSmbiosAndDmiHdrs(PPDMDEVINS pDevIns, uint16_t cbDmiTables);
32
33/* Plant MPS table */
34void FwCommonPlantMpsTable(PPDMDEVINS pDevIns, uint8_t *pTable, unsigned cbMax, uint16_t cCpus);
35void FwCommonPlantMpsFloatPtr(PPDMDEVINS pDevIns);
36
37#endif
Note: See TracBrowser for help on using the repository browser.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette