1
/* $Id: Builtins2.h $ */
3
* Built-in drivers & devices part 2 header.
5
* These drivers and devices are in separate modules because of LGPL.
9
* Copyright (C) 2006-2010 Oracle Corporation
11
* This file is part of VirtualBox Open Source Edition (OSE), as
12
* available from http://www.virtualbox.org. This file is free software;
13
* you can redistribute it and/or modify it under the terms of the GNU
14
* General Public License (GPL) as published by the Free Software
15
* Foundation, in version 2 as it comes in the "COPYING" file of the
16
* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
17
* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
20
#ifndef ___Builtins2_h
21
#define ___Builtins2_h
28
extern DECLEXPORT(const unsigned char) g_abPcBiosBinary[];
29
extern DECLEXPORT(const unsigned) g_cbPcBiosBinary;
30
extern DECLEXPORT(const unsigned char) g_abVgaBiosBinary[];
31
extern DECLEXPORT(const unsigned) g_cbVgaBiosBinary;
32
extern DECLEXPORT(const unsigned char) g_abNetBiosBinary[];
33
extern DECLEXPORT(const unsigned) g_cbNetBiosBinary;
34
extern DECLEXPORT(const unsigned char) g_abVmiBiosBinary[];
35
extern DECLEXPORT(const unsigned) g_cbVmiBiosBinary;
36
#else /* !IN_VBOXDD2 */
37
extern DECLIMPORT(const unsigned char) g_abPcBiosBinary[];
38
extern DECLIMPORT(const unsigned) g_cbPcBiosBinary;
39
extern DECLIMPORT(const unsigned char) g_abVgaBiosBinary[];
40
extern DECLIMPORT(const unsigned) g_cbVgaBiosBinary;
41
extern DECLIMPORT(const unsigned char) g_abNetBiosBinary[];
42
extern DECLIMPORT(const unsigned) g_cbNetBiosBinary;
43
extern DECLIMPORT(const unsigned char) g_abVmiBiosBinary[];
44
extern DECLIMPORT(const unsigned) g_cbVmiBiosBinary;
45
#endif /* !IN_VBOXDD2 */
46
extern const PDMDEVREG g_DeviceAPIC;
47
extern const PDMDEVREG g_DeviceIOAPIC;
49
extern const PDMDEVREG g_DeviceSMC;
52
extern const PDMDEVREG g_DeviceLPC;