| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | browser.h | 24 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset);
34 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
36 (void)rsdp;
|
| H A D | browser.c | 46 acpi_rsdp_t* rsdp = (acpi_rsdp_t*)table; local
47 vector[0] = (void*)rsdp->rsdt_address;
48 vector[1] = (void*)(uintptr_t)rsdp->xsdt_address;
222 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
224 _browse_tables((void*)rsdp, offset);
|
| H A D | acpi.c | 47 /* some platforms do not initliase length of rsdp */
341 acpi_init_with_rsdp(ps_io_mapper_t io_mapper, acpi_rsdp_t rsdp) argument
353 acpi->rsdp = rsdp;
386 ZF_LOGW("Failed to find rsdp\n");
390 acpi_rsdp_t *rsdp = (acpi_rsdp_t *) acpi_parse_table(acpi, rsdp_paddr); local
391 if (rsdp == NULL) {
392 ZF_LOGE("Failed to parse rsdp\n");
395 /* Copy rsdp object into acpi struct */
396 memcpy(&(acpi->rsdp), rsd
[all...] |
| H A D | printer.c | 272 print_rsdp(acpi_rsdp_t* rsdp) argument
274 acpi_print_table_raw(rsdp, rsdp->length);
275 printf("RSDT->%p\n", (void*)rsdp->rsdt_address);
276 printf("XSDT->%p\n", (void*)(uintptr_t)rsdp->xsdt_address);
|
| H A D | walker.c | 305 ZF_LOGE("Failed to allocate rsdp");
308 memcpy(acpi_rsdp, &(acpi->rsdp), sizeof(acpi_rsdp_t));
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | browser.h | 24 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset);
34 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
36 (void)rsdp;
|
| H A D | browser.c | 46 acpi_rsdp_t* rsdp = (acpi_rsdp_t*)table; local
47 vector[0] = (void*)rsdp->rsdt_address;
48 vector[1] = (void*)(uintptr_t)rsdp->xsdt_address;
222 acpi_browse_tables(const acpi_rsdp_t* rsdp, size_t offset) argument
224 _browse_tables((void*)rsdp, offset);
|
| H A D | acpi.c | 47 /* some platforms do not initliase length of rsdp */
341 acpi_init_with_rsdp(ps_io_mapper_t io_mapper, acpi_rsdp_t rsdp) argument
353 acpi->rsdp = rsdp;
386 ZF_LOGW("Failed to find rsdp\n");
390 acpi_rsdp_t *rsdp = (acpi_rsdp_t *) acpi_parse_table(acpi, rsdp_paddr); local
391 if (rsdp == NULL) {
392 ZF_LOGE("Failed to parse rsdp\n");
395 /* Copy rsdp object into acpi struct */
396 memcpy(&(acpi->rsdp), rsd
[all...] |
| H A D | printer.c | 272 print_rsdp(acpi_rsdp_t* rsdp) argument
274 acpi_print_table_raw(rsdp, rsdp->length);
275 printf("RSDT->%p\n", (void*)rsdp->rsdt_address);
276 printf("XSDT->%p\n", (void*)(uintptr_t)rsdp->xsdt_address);
|
| H A D | walker.c | 305 ZF_LOGE("Failed to allocate rsdp");
308 memcpy(acpi_rsdp, &(acpi->rsdp), sizeof(acpi_rsdp_t));
|
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 87 acpi_rsdp_t rsdp; member in struct:acpi
110 * @param rsdp RSDP object to parse the ACPI tables with
114 acpi_t * acpi_init_with_rsdp(ps_io_mapper_t io_mapper, acpi_rsdp_t rsdp);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/ |
| H A D | acpi.h | 87 acpi_rsdp_t rsdp; member in struct:acpi
110 * @param rsdp RSDP object to parse the ACPI tables with
114 acpi_t * acpi_init_with_rsdp(ps_io_mapper_t io_mapper, acpi_rsdp_t rsdp);
|
| /seL4-refos-master/libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | timer.h | 46 * the rsdp object */
47 int ltimer_default_describe_with_rsdp(ltimer_t *ltimer, ps_io_ops_t ops, acpi_rsdp_t rsdp);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | timer.h | 46 * the rsdp object */
47 int ltimer_default_describe_with_rsdp(ltimer_t *ltimer, ps_io_ops_t ops, acpi_rsdp_t rsdp);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 463 int ltimer_default_describe_with_rsdp(ltimer_t *ltimer, ps_io_ops_t ops, acpi_rsdp_t rsdp) argument
465 acpi_t *acpi = acpi_init_with_rsdp(ops.io_mapper, rsdp);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ltimer.c | 463 int ltimer_default_describe_with_rsdp(ltimer_t *ltimer, ps_io_ops_t ops, acpi_rsdp_t rsdp) argument
465 acpi_t *acpi = acpi_init_with_rsdp(ops.io_mapper, rsdp);
|