/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | intro.tex | 31 Device Register \ac{fis} can be used to send commands to the disk. The command 38 \caption{Host to Device Register FIS \cite[p.~336]{sata_2.6}}
|
H A D | running.tex | 23 delivered as a Device to Host Register \ac{fis} by QEMU.
|
/barrelfish-master/usr/skb/programs/ |
H A D | irq_routing_new.pl | 616 dmar_device_pci(DmarIndex, EntryType, addr(Bus,Device, Function)) :- 618 dmar_device(DmarIndex, 0, EntryType, addr(_, Bus, Device, Function), _) 626 add_msi_controller(Lbl, InSize, Type, addr(Bus, Device, Function)) :- 634 dmar_device(DmarIndex, 1, addr(Bus,Device,Function)), 708 Addr = addr(Bus, Device, _), 709 NewPin is (Device + Pin) mod 4, 721 % A = addr(Bus,Device,Function) 782 % A = addr(Bus,Device,Function) 805 % A = addr(Bus,Device,Function)
|
H A D | device_db.pl | 29 device, % PCI Device ID
|
/barrelfish-master/lib/acpica/source/include/ |
H A D | actbl2.h | 460 /* Debug Device Information Subtable */ 575 /* DMAR Device Scope structure */ 602 UINT8 Device; member in struct:acpi_dmar_pci_path 674 /* 4: ACPI Namespace Device Declaration Structure */ 1091 * Device Entries for IVHD subtable, appear after ACPI_IVRS_HARDWARE structure. 1523 UINT8 Device; member in struct:acpi_table_tcpa_server 1657 UINT8 PciDevice; /* PCI Device number */ 1781 UINT8 PciDevice; /* PCI Device number */
|
H A D | actbl1.h | 604 UINT16 Device; member in struct:acpi_hest_aer_common 1291 /* 1: Memory Device to System Address Range Map Structure */ 1313 #define ACPI_NFIT_MEM_SAVE_FAILED (1) /* 00: Last SAVE to Memory Device failed */ 1314 #define ACPI_NFIT_MEM_RESTORE_FAILED (1<<1) /* 01: Last RESTORE from Memory Device failed */ 1316 #define ACPI_NFIT_MEM_NOT_ARMED (1<<3) /* 03: Memory Device is not armed */ 1317 #define ACPI_NFIT_MEM_HEALTH_OBSERVED (1<<4) /* 04: Memory Device observed SMART/health events */
|
/barrelfish-master/usr/acpi/ |
H A D | acpica_osglue.c | 1279 * Register Device Register 1298 .device = PciId->Device, 1331 * Register Device Register 1350 .device = PciId->Device,
|
H A D | intel_vtd.c | 578 // Parses a Path structure, comprised of (Device number, Function number) pairs, 590 curr_dev = path_entry->Device; 596 curr_dev = path_entry->Device; 606 // Parses a Device Scope Structure belonging to a remapping structure. 680 // An ATSR structure is provided for each PCI segment supporting Device-TLBs. Currently, 681 // we only report the PCI segments supporting Device-TLBs and the associated PCIe 706 // Parses an ACPI Name-space Device Declaration structure (ANDD).
|
/barrelfish-master/lib/acpica/source/components/executer/ |
H A D | exdump.c | 204 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (Device.NotifyList[0]), "System Notify"}, 205 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (Device.NotifyList[1]), "Device Notify"}, 206 {ACPI_EXD_HDLR_LIST,ACPI_EXD_OFFSET (Device.Handler), "Handler"} 256 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (PowerResource.NotifyList[1]), "Device Notify"}, 267 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (Processor.NotifyList[1]), "Device Notify"}, 275 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (ThermalZone.NotifyList[1]), "Device Notify"}, 344 {ACPI_EXD_POINTER, ACPI_EXD_OFFSET (Notify.Next[1]), "Next Device Notify"} 948 AcpiOsPrintf ("Device\n");
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | io.pl | 1572 get_stream_info(Queue, device, Device), 1573 deal_with_remote_flush(Device, Queue, unknown), 1576 get_stream_info(Queue, device, Device), 1577 deal_with_remote_flush(Device, Queue, Len), 1606 deal_with_remote_flush(Device, Queue, Len) :- 1611 deal_with_remote_flush1(Device, Queue, Len) -> true ; true 1617 deal_with_remote_flush1(Device, Queue, Len) -> true ; true
|
/barrelfish-master/doc/000-overview/ |
H A D | Overview.tex | 484 \section{Device drivers} 486 Device drivers in Barrelfish are implemented as individual dispatchers 493 \item \emph{Device frame} capabilities for regions of the physical 519 \section{Device management} 521 Device management in Barrelfish is performed by a combination of 763 \item[x86\_64/include/dev] Device access function header files
|
/barrelfish-master/lib/acpica/source/include/platform/ |
H A D | acefiex.h | 644 EFI_HANDLE *Device);
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 210 Physical address range & Device frame & Yes\NN 572 \subsection{Device frame} 584 \item[Retyability] To Device frame type 604 datatype device_cap "Device Frame capability" {
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | page_mappings_arch.c | 480 implementations not supporting Device-TLBs (DT=0 in Extended
|
/barrelfish-master/lib/acpica/source/common/ |
H A D | dmtbinfo.c | 713 {ACPI_DMT_UINT8, ACPI_ASF4_OFFSET (Devices), "Device Count", DT_COUNT}, 802 {ACPI_DMT_UINT16, ACPI_CSRT0_OFFSET (DeviceId), "Device ID", 0}, 861 /* Debug Device Information Subtable */ 949 {ACPI_DMT_DMAR_SCOPE, ACPI_DMARS_OFFSET (EntryType), "Device Scope Type", 0}, 1001 /* 4: ACPI Namespace Device Declaration Structure */ 1006 {ACPI_DMT_UINT8, ACPI_DMAR4_OFFSET (DeviceNumber), "Device Number", 0}, 1007 {ACPI_DMT_STRING, ACPI_DMAR4_OFFSET (DeviceName[0]), "Device Name", 0}, 1314 {ACPI_DMT_UINT16, ACPI_HEST6_OFFSET (Aer.Device), "Device", 0}, \ 1553 {ACPI_DMT_FLAG1, ACPI_IORTA_FLAG_OFFSET (MemoryFlags, 0), "Device Attribut [all...] |
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 21 \title{Device Drivers in Barrelfish} 552 \section{Device Memory}
|
/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 1011 \section{Device-level declarations} 1499 \section{Device-level declarations} 1995 \multicolumn{2}{|l|}{Device declarations} \\ \hline 1996 \texttt{struct dev1\_t} & Device structure \\ 1997 \texttt{typedef dev1\_t} & Device type defintion (as above) \\
|
/barrelfish-master/doc/026-device-queues/ |
H A D | devif.tex | 21 \title{Device Queues in Barrelfish} 573 \caption{Device Specific Queue Struct}
|