Searched refs:Device (Results 26 - 43 of 43) sorted by relevance

12

/barrelfish-master/doc/015-disk-driver-arch/
H A Dintro.tex31 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 Drunning.tex23 delivered as a Device to Host Register \ac{fis} by QEMU.
/barrelfish-master/usr/skb/programs/
H A Dirq_routing_new.pl616 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 Ddevice_db.pl29 device, % PCI Device ID
/barrelfish-master/lib/acpica/source/include/
H A Dactbl2.h460 /* 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 Dactbl1.h604 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 Dacpica_osglue.c1279 * Register Device Register
1298 .device = PciId->Device,
1331 * Register Device Register
1350 .device = PciId->Device,
H A Dintel_vtd.c578 // 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 Dexdump.c204 {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 Dio.pl1572 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 DOverview.tex484 \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 Dacefiex.h644 EFI_HANDLE *Device);
/barrelfish-master/doc/013-capability-mgmt/
H A Dtype_system.tex210 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 Dpage_mappings_arch.c480 implementations not supporting Device-TLBs (DT=0 in Extended
/barrelfish-master/lib/acpica/source/common/
H A Ddmtbinfo.c713 {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 DDeviceDriver.tex21 \title{Device Drivers in Barrelfish}
552 \section{Device Memory}
/barrelfish-master/doc/002-mackerel/
H A DMackerel.tex1011 \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 Ddevif.tex21 \title{Device Queues in Barrelfish}
573 \caption{Device Specific Queue Struct}

Completed in 156 milliseconds

12