Root/
| Source at commit 491 created 13 years 8 months ago. By meklort, Initial 64bit support. lapic_configure patch is currently 32bit only, however the rest of the patches should work fine on a 64bit kernel. I haven't teted this extensivly, so it may or may not work for everyone. | |
|---|---|
| 1 | /*␊ |
| 2 | * Copyright 2008 mackerintel␊ |
| 3 | */␊ |
| 4 | ␊ |
| 5 | #ifndef __LIBSAIO_DSDT_PATCHER_H␊ |
| 6 | #define __LIBSAIO_DSDT_PATCHER_H␊ |
| 7 | ␊ |
| 8 | #include "libsaio.h"␊ |
| 9 | ␊ |
| 10 | uint64_t acpi10_p;␊ |
| 11 | uint64_t acpi20_p;␊ |
| 12 | uint64_t smbios_p;␊ |
| 13 | extern int setupAcpi();␊ |
| 14 | ␊ |
| 15 | extern EFI_STATUS addConfigurationTable();␊ |
| 16 | ␊ |
| 17 | extern EFI_GUID gEfiAcpiTableGuid;␊ |
| 18 | extern EFI_GUID gEfiAcpi20TableGuid;␊ |
| 19 | ␊ |
| 20 | #endif /* !__LIBSAIO_DSDT_PATCHER_H */␊ |
| 21 | |
