Root/
| 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 | ␊ |
| 8 | #include "pci.h" //Azi: needed for pci_dt...␊ |
| 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 setup_pci_devs(pci_dt_t *pci_dt);␊ |
| 15 | ␊ |
| 16 | #endif /* !__LIBSAIO_FAKE_EFI_H */␊ |
| 17 |
