| 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 | |
