Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2307 | ||
|---|---|---|---|
| Line 86... | Line 86... | ||
| 86 | return !sum; |
86 | return !sum; |
| 87 | } |
87 | } |
| 88 | 88 | ||
| 89 | static void map_sdt(struct acpi_sdt_header *sdt) |
89 | static void map_sdt(struct acpi_sdt_header *sdt) |
| 90 | { |
90 | { |
| 91 | page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE); |
91 | page_mapping_insert(AS_KERNEL, (uintptr_t) sdt, (uintptr_t) sdt, PAGE_NOT_CACHEABLE | PAGE_WRITE); |
| 92 | map_structure((uintptr_t) sdt, sdt->length); |
92 | map_structure((uintptr_t) sdt, sdt->length); |
| 93 | } |
93 | } |
| 94 | 94 | ||
| 95 | static void configure_via_rsdt(void) |
95 | static void configure_via_rsdt(void) |
| 96 | { |
96 | { |