4 * Copyright (C) 2003 Eric Kohl
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
21 #ifndef __AMD64_HARDWARE_H_
22 #define __AMD64_HARDWARE_H_
25 #include "../../reactos/registry.h"
28 #define CONFIG_CMD(bus, dev_fn, where) \
29 (0x80000000 | (((ULONG)(bus)) << 16) | (((dev_fn) & 0x1F) << 11) | (((dev_fn) & 0xE0) << 3) | ((where) & ~3))
33 // Static heap for ARC Hardware Component Tree
34 // 16KB oughta be enough for anyone.
36 #define HW_MAX_ARC_HEAP_SIZE 16 * 1024
39 // ARC Component Configuration Routines
43 FldrSetComponentInformation(
44 IN PCONFIGURATION_COMPONENT_DATA ComponentKey
,
45 IN IDENTIFIER_FLAG Flags
,
53 IN PCONFIGURATION_COMPONENT_DATA ComponentKey
,
60 OUT PCONFIGURATION_COMPONENT_DATA
*SystemKey
65 FldrCreateComponentKey(
66 IN PCONFIGURATION_COMPONENT_DATA SystemKey
,
69 IN CONFIGURATION_CLASS Class
,
70 IN CONFIGURATION_TYPE Type
,
71 OUT PCONFIGURATION_COMPONENT_DATA
*ComponentKey
76 FldrSetConfigurationData(
77 IN PCONFIGURATION_COMPONENT_DATA ComponentKey
,
78 IN PCM_PARTIAL_RESOURCE_LIST ResourceList
,
83 /* PROTOTYPES ***************************************************************/
87 VOID
StallExecutionProcessor(ULONG Microseconds
);
89 VOID
HalpCalibrateStallExecution(VOID
);
92 VOID
DetectAcpiBios(PCONFIGURATION_COMPONENT_DATA SystemKey
, ULONG
*BusNumber
);
95 VOID
DetectApmBios(PCONFIGURATION_COMPONENT_DATA SystemKey
, ULONG
*BusNumber
);
98 VOID
DetectPciBios(PCONFIGURATION_COMPONENT_DATA SystemKey
, ULONG
*BusNumber
);
101 ULONG
CpuidSupported(VOID
);
102 VOID
GetCpuid(ULONG Level
,
107 ULONGLONG
RDTSC(VOID
);
110 ULONG_PTR
PnpBiosSupported(VOID
);
111 ULONG
PnpBiosGetDeviceNodeCount(ULONG
*NodeSize
,
113 ULONG
PnpBiosGetDeviceNode(UCHAR
*NodeId
,
116 #endif /* __AMD64_HARDWARE_H_ */