Rev 659 | Rev 755 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 659 | Rev 687 | ||
|---|---|---|---|
| Line 27... | Line 27... | ||
| 27 | */ |
27 | */ |
| 28 | 28 | ||
| 29 | #include <genarch/acpi/acpi.h> |
29 | #include <genarch/acpi/acpi.h> |
| 30 | #include <genarch/acpi/madt.h> |
30 | #include <genarch/acpi/madt.h> |
| 31 | #include <arch/bios/bios.h> |
31 | #include <arch/bios/bios.h> |
| 32 | - | ||
| - | 32 | #include <mm/asid.h> |
|
| 33 | #include <mm/page.h> |
33 | #include <mm/page.h> |
| 34 | #include <print.h> |
34 | #include <print.h> |
| 35 | 35 | ||
| 36 | #define RSDP_SIGNATURE "RSD PTR " |
36 | #define RSDP_SIGNATURE "RSD PTR " |
| 37 | #define RSDP_REVISION_OFFS 15 |
37 | #define RSDP_REVISION_OFFS 15 |
| Line 77... | Line 77... | ||
| 77 | return !sum; |
77 | return !sum; |
| 78 | } |
78 | } |
| 79 | 79 | ||
| 80 | static void map_sdt(struct acpi_sdt_header *sdt) |
80 | static void map_sdt(struct acpi_sdt_header *sdt) |
| 81 | { |
81 | { |
| 82 | page_mapping_insert((__address) sdt, (__address) sdt, PAGE_NOT_CACHEABLE, 0); |
82 | page_mapping_insert((__address) sdt, ASID_KERNEL, (__address) sdt, PAGE_NOT_CACHEABLE, 0); |
| 83 | map_structure((__address) sdt, sdt->length); |
83 | map_structure((__address) sdt, sdt->length); |
| 84 | } |
84 | } |
| 85 | 85 | ||
| 86 | static void configure_via_rsdt(void) |
86 | static void configure_via_rsdt(void) |
| 87 | { |
87 | { |