Searched refs:acpi_header_t (Results 1 - 25 of 26) sorted by relevance
12
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | dsdt.h | 17 acpi_header_t header;
|
| H A D | ssdt.h | 17 acpi_header_t header;
|
| H A D | boot.h | 16 acpi_header_t header;
|
| H A D | einj.h | 17 acpi_header_t header;
|
| H A D | hest.h | 26 acpi_header_t header;
|
| H A D | hpet.h | 17 acpi_header_t header;
|
| H A D | bert.h | 27 acpi_header_t header;
|
| H A D | rsdt.h | 17 acpi_header_t header;
|
| H A D | spmi.h | 17 acpi_header_t header;
|
| H A D | xsdt.h | 17 acpi_header_t header;
|
| H A D | erst.h | 26 acpi_header_t header;
|
| H A D | mcfg.h | 25 acpi_header_t header;
|
| H A D | spcr.h | 17 acpi_header_t header;
|
| H A D | fadt.h | 17 acpi_header_t header;
|
| H A D | asf.h | 17 acpi_header_t header;
|
| H A D | dmar.h | 23 acpi_header_t header;
|
| H A D | madt.h | 159 acpi_header_t header;
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | walker.h | 40 acpi_header_t*
|
| H A D | walker.c | 46 acpi_header_t *header = (acpi_header_t *) ps_io_map(&acpi->io_mapper,
47 (uintptr_t)table_paddr, sizeof(acpi_header_t), 1, PS_MEM_NORMAL);
50 ZF_LOGD("Failed to map paddr %p, size %zu\n", table_paddr, sizeof(acpi_header_t));
58 ps_io_unmap(&acpi->io_mapper, (void *) header, sizeof(acpi_header_t));
64 ps_io_unmap(&acpi->io_mapper, (void *) header, sizeof(acpi_header_t));
78 acpi_unmap_table(acpi_t *acpi, acpi_header_t *header)
115 acpi_header_t*
120 acpi_header_t* header_vaddr = acpi_map_table(acpi, table_paddr);
127 acpi_header_t *cop
[all...] |
| H A D | regions.c | 238 acpi_header_t *
248 return (acpi_header_t *) regions->regions[index].start;
|
| H A D | acpi.c | 41 length = ((acpi_header_t*)table)->length;
|
| /seL4-test-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | acpi.h | 29 } PACKED acpi_header_t; typedef in typeref:struct:acpi_header
47 acpi_header_t header;
|
| /seL4-test-master/kernel/src/plat/pc99/machine/ |
| H A D | acpi.c | 23 acpi_header_t header;
29 sizeof(acpi_dmar_t) == sizeof(acpi_header_t) + 12)
84 acpi_header_t header;
89 sizeof(acpi_fadt_t) == sizeof(acpi_header_t) + 80)
93 acpi_header_t header;
98 sizeof(acpi_madt_t) == sizeof(acpi_header_t) + 8)
294 assert(acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t));
296 entries = (acpi_rsdt_mapped->header.length - sizeof(acpi_header_t)) / sizeof(uint32_t);
393 assert(acpi_rsdt_mapped->header.length >= sizeof(acpi_header_t));
395 entries = (acpi_rsdt_mapped->header.length - sizeof(acpi_header_t)) / sizeo
[all...] |
| /seL4-test-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 52 } acpi_header_t; typedef in typeref:struct:acpi_header
123 acpi_header_t *acpi_find_region(acpi_t *acpi, region_type_t region);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | rtc.c | 142 acpi_header_t *header = acpi_find_region(acpi, ACPI_FADT);
|
Completed in 267 milliseconds
12