Searched refs:acpi (Results 1 - 25 of 29) sorted by relevance
12
| /barrelfish-master/usr/acpi/arch/armv8/ |
| H A D | acpi_service_arch.c | 18 #include <acpi.h>
|
| H A D | acpica_osglue_arch.c | 138 #include <acpi.h>
|
| H A D | acpi_arch.c | 19 #include <acpi.h>
|
| H A D | acpi_interrupts_arch.c | 19 #include <acpi.h>
111 * http://uefi.org/acpi. The document link is listed under
|
| /barrelfish-master/usr/acpi/arch/x86/ |
| H A D | acpi_service_arch.c | 19 #include <acpi.h>
|
| H A D | acpica_osglue_arch.c | 138 #include <acpi.h>
|
| H A D | acpi_arch.c | 19 #include <acpi.h>
|
| H A D | video.c | 17 #include <acpi.h>
|
| H A D | ioapic_controller_client.c | 22 #include <acpi.h>
|
| H A D | acpi_interrupts_arch.c | 20 #include <acpi.h>
268 BASE_PAGE_BITS, //as used elswhere in acpi.c
269 ((size_t)1) << BASE_PAGE_BITS, //as used elswhere in acpi.c
|
| /barrelfish-master/lib/acpica/generate/linux/ |
| H A D | libacpica.sh | 23 drivers/acpi/acpica \
24 include/acpi \
25 include/acpi/platform \
26 tools/power/acpi/common \
27 tools/power/acpi/os_specific/service_layers \
28 tools/power/acpi/tools/acpidump \
104 include/acpi/acclib.h \
105 include/acpi/acdisasm.h \
106 include/acpi/platform/accygwin.h \
107 include/acpi/platfor
[all...] |
| /barrelfish-master/usr/acpi/ |
| H A D | acpi_shared.h | 18 #include <acpi.h>
|
| H A D | buttons.c | 17 #include <acpi.h>
|
| H A D | acpi_ec.c | 47 #include <acpi.h>
|
| H A D | pcilnk_controller_client.c | 23 #include <acpi.h>
|
| H A D | acpi_service.c | 19 #include <acpi.h>
300 err = nameservice_register("acpi", iref);
304 ACPI_DEBUG("acpi service exported\n");
309 ACPI_DEBUG("acpi service get connection\n");
|
| H A D | acpica_osglue.c | 141 #include <acpi.h>
|
| H A D | acpi.c | 19 #include <acpi.h>
521 printf("acpi: Warning: Cannot execute _DIS of PCI Link device (%s)\n", namebuf);
545 ACPI_DEBUG("acpi get handle for %s\n", namebuf);
755 errval_t err = oct_barrier_enter("barrier.acpi", &record, 2);
|
| H A D | intel_vtd.c | 14 #include <acpi.h>
|
| /barrelfish-master/usr/kaluga/ |
| H A D | start_iommu.c | 103 struct acpi_binding* acpi = get_acpi_binding(); local
112 err = acpi->rpc_tx_vtbl.mm_alloc_range_proxy(acpi, BASE_PAGE_BITS, address,
|
| H A D | start_hpet.c | 71 struct acpi_binding *acpi = get_acpi_binding(); local
72 err = acpi->rpc_tx_vtbl.mm_alloc_range_proxy(acpi, BASE_PAGE_BITS, address,
278 * Kaluga is notified (from acpi) of a new hpet. Kaluga obtains the page for reading
|
| /barrelfish-master/lib/acpica/source/os_specific/service_layers/ |
| H A D | oswindir.c | 116 #include <acpi.h>
|
| /barrelfish-master/doc/018-Practical-guide/ |
| H A D | readme.tex | 208 module~/barrelfish/x86\_64/sbin/acpi~boot\\
|
| H A D | helloWorldApp.tex | 418 module /x86_64/sbin/acpi boot
|
| /barrelfish-master/usr/skb/programs/ |
| H A D | queries.pl | 208 % 8. figure out whether all the available cores found by pci/acpi are added to the
|
Completed in 101 milliseconds
12