1 | /*␊ |
2 | * Copyright 2007 David F. Elliott. All rights reserved.␊ |
3 | */␊ |
4 | ␊ |
5 | #ifndef __LIBSAIO_FAKE_EFI_H␊ |
6 | #define __LIBSAIO_FAKE_EFI_H␊ |
7 | #include "platform.h"␊ |
8 | #include "pci.h"␊ |
9 | ␊ |
10 | /* Set up space for up to 10 configuration table entries */␊ |
11 | #define MAX_CONFIGURATION_TABLE_ENTRIES 10␊ |
12 | ␊ |
13 | extern void setupFakeEfi(void);␊ |
14 | extern void setupSystemType(void); ␊ |
15 | extern inline uint64_t ptov64(uint32_t addr);␊ |
16 | //extern struct SMBEntryPoint * getSmbios(int which); // now cached␊ |
17 | //extern void setup_pci_devs(pci_dt_t *pci_dt); //into pci.h␊ |
18 | extern uint64_t smbios_p;␊ |
19 | extern void scan_cpu_DMI(void); //PlatformInfo_t *); //Slice␊ |
20 | ␊ |
21 | ␊ |
22 | #endif /* !__LIBSAIO_FAKE_EFI_H */␊ |
23 | |