/barrelfish-master/usr/skb/programs/ |
H A D | bridge_bios.pl | 35 findall(buselement(device, addr(Bus, Device, Function), _, _, _, 37 device(PCIe, addr(Bus, Device, Function), _, _, _, _, 41 % findall(buselement(bridge, addr(Bus, Device, Function), 43 % bridge(PCIe, addr(Bus, Device, Function), _, _, _, _, 46 % device(PCIe, addr(Bus, Device, Function), Vendor, DeviceID, Class, 48 % bridge(PCIe, addr(Bus, Device, Function), Vendor, DeviceID, Class, SubClass, 50 % bar(addr(Bus, Device, Function), BARn, Base, Size, MemOrIO, Prefetch, 32or64). 51 % buselement(device, addr(Bus, Device, Function), BAR_Secondary, Base, High, Size, 57 buselement(device, addr(Bus, Device, Function), _, _, _, 59 findall(buselement(device, addr(Bus, Device, Functio [all...] |
H A D | plat_omap44xx.pl | 27 device_regions, % Device regions the driver needs access to 28 device_interrupts, % Device interrupts the driver needs access to 128 find_dn_driver(Device, DriverInfo) :- 135 member(Device, Devices),
|
H A D | decoding_net_queries.pl | 56 % Core/Device Management % 62 discover_device(Device) :- 63 node{name:Device,type:device}.
|
H A D | irq_routing.pl | 27 Addr = addr(Bus, Device, _), 28 NewPin is (Device + Pin) mod 4,
|
H A D | pci_queries.pl | 25 pci_get_implemented_bars(Bus,Device,Function,BAR, BARList) :- 26 findall(BAR, bar(addr(Bus,Device,Function),BAR,_,_,_,_,_), BARList).
|
H A D | bridge.pl | 312 keep_orig_addr(Device,DeviceAddresses,Offset) :- 314 param(Device), 318 buselement(_,Addr,_,B,_,_) = Device) ->
|
/barrelfish-master/lib/acpica/source/components/events/ |
H A D | evxfregn.c | 132 * PARAMETERS: Device - Handle for the device 152 ACPI_HANDLE Device, 167 if (!Device) 180 Node = AcpiNsValidateHandle (Device); 213 * PARAMETERS: Device - Handle for the device 225 ACPI_HANDLE Device, 242 if (!Device) 255 Node = AcpiNsValidateHandle (Device); 297 "on Device %p(%p)\n", 151 AcpiInstallAddressSpaceHandler( ACPI_HANDLE Device, ACPI_ADR_SPACE_TYPE SpaceId, ACPI_ADR_SPACE_HANDLER Handler, ACPI_ADR_SPACE_SETUP Setup, void *Context) argument
|
H A D | evxface.c | 147 * PARAMETERS: Device - The device for which notifies will be handled 150 * ACPI_DEVICE_NOTIFY: Device Handler (80-FF) 151 * ACPI_ALL_NOTIFY: Both System and Device 157 * DESCRIPTION: Install a handler for notifications on an ACPI Device, 161 * type of notify (System/Device). Device/Thermal/Processor objects 169 ACPI_HANDLE Device, 174 ACPI_NAMESPACE_NODE *Node = ACPI_CAST_PTR (ACPI_NAMESPACE_NODE, Device); 186 if ((!Device) || (!Handler) || (!HandlerType) || 205 if (Device 168 AcpiInstallNotifyHandler( ACPI_HANDLE Device, UINT32 HandlerType, ACPI_NOTIFY_HANDLER Handler, void *Context) argument [all...] |
H A D | evxfgpe.c | 145 * Device has been added or if any new GPE methods have been added via a 189 * PARAMETERS: GpeDevice - Parent GPE Device. NULL for GPE0/GPE1 244 * PARAMETERS: GpeDevice - Parent GPE Device. NULL for GPE0/GPE1 289 * PARAMETERS: GpeDevice - Parent GPE Device. NULL for GPE0/GPE1 371 * PARAMETERS: GpeDevice - Parent GPE Device. NULL for GPE0/GPE1 425 * PARAMETERS: WakeDevice - Device associated with the GPE (via _PRW) 426 * GpeDevice - Parent GPE Device. NULL for GPE0/GPE1 434 * Each _PRW appears under a Device Object (The WakeDevice), and 479 /* Validate WakeDevice is of type Device */ 578 * PARAMETERS: GpeDevice - Parent GPE Device [all...] |
H A D | evgpe.c | 367 * PARAMETERS: GpeDevice - Device node. NULL for GPE0/GPE1 414 /* A Non-NULL GpeDevice means this is a GPE Block Device */ 418 !ObjDesc->Device.GpeBlock) 423 return (AcpiEvLowGetGpeInfo (GpeNumber, ObjDesc->Device.GpeBlock)); 798 * PARAMETERS: GpeDevice - Device node. NULL for GPE0/GPE1
|
H A D | evrgnini.c | 407 PciId->Device = ACPI_HIWORD (ACPI_LODWORD (PciValue)); 447 * PARAMETERS: Node - Device node being examined
|
/barrelfish-master/lib/acpica/source/tools/acpiexec/ |
H A D | aehandlers.c | 126 ACPI_HANDLE Device, 132 ACPI_HANDLE Device, 138 ACPI_HANDLE Device, 144 ACPI_HANDLE Device, 254 ACPI_HANDLE Device, 258 AeCommonNotifyHandler (Device, Value, 1); 263 ACPI_HANDLE Device, 267 AeCommonNotifyHandler (Device, Value, 2); 272 ACPI_HANDLE Device, 279 Type = "Device"; 253 AeNotifyHandler1( ACPI_HANDLE Device, UINT32 Value, void *Context) argument 262 AeNotifyHandler2( ACPI_HANDLE Device, UINT32 Value, void *Context) argument 271 AeCommonNotifyHandler( ACPI_HANDLE Device, UINT32 Value, UINT32 HandlerId) argument 349 AeSystemNotifyHandler( ACPI_HANDLE Device, UINT32 Value, void *Context) argument 382 AeDeviceNotifyHandler( ACPI_HANDLE Device, UINT32 Value, void *Context) argument 577 AeGlobalEventHandler( UINT32 Type, ACPI_HANDLE Device, UINT32 EventNumber, void *Context) argument [all...] |
H A D | aetables.h | 376 Device (OEM1) 380 Device (OEM2) 445 Device (DEV0) 450 Device (\GPE2)
|
/barrelfish-master/lib/acpica/source/components/hardware/ |
H A D | hwpci.c | 138 ACPI_HANDLE Device; member in struct:acpi_pci_device 184 * consisting of a Segment number, Bus number, Device number, 191 * the Bus/Device/Function numbers in the PciId with the actual 197 * will make any necessary modifications to the Bus, Device, or 312 ListElement->Device = ParentDevice; 326 * ListHead - Device list created by 353 PciId->Segment, PciId->Bus, PciId->Device, PciId->Function)); 367 Status = AcpiHwGetPciDeviceInfo (PciId, Info->Device, 380 PciId->Segment, PciId->Bus, PciId->Device, PciId->Function, 391 * PARAMETERS: ListHead - Device lis [all...] |
/barrelfish-master/usr/acpi/ |
H A D | acpi_parse_dmar.c | 58 * The Device Scope Structure is made up of Device Scope Entries. Each Device 64 * the Device Scope Entry needs to identify only the parent PCI-PCI bridge of 86 segment, dsc->Bus, pcip->Device, pcip->Function, 91 segment, dsc->Bus, pcip->Device, pcip->Function, 96 segment, dsc->Bus, pcip->Device, pcip->Function, 103 * 0x01: PCI Endpoint Device - The device identified by the 'Path' 105 * Device Scope of DRHD structures with INCLUDE_PCI_ALL flag Set. 107 debug_printf(" > [dmar] [dscp] PCI Endpoint Device [all...] |
/barrelfish-master/lib/acpica/source/include/ |
H A D | acpixf.h | 845 ACPI_HANDLE Device, 853 ACPI_HANDLE Device, 860 ACPI_HANDLE Device, 869 ACPI_HANDLE Device, 1055 ACPI_HANDLE Device, 1063 ACPI_HANDLE Device, 1069 ACPI_HANDLE Device, 1088 ACPI_HANDLE Device, 1096 ACPI_HANDLE Device, 1102 ACPI_HANDLE Device, [all...] |
H A D | actypes.h | 1182 ACPI_HANDLE Device, 1201 ACPI_HANDLE Device, 1379 UINT16 Device; member in struct:acpi_pci_id
|
H A D | acobject.h | 466 UINT32 HandlerType; /* Type: Device/System/Both */ 469 union acpi_operand_object *Next[2]; /* Device and System handler lists */ 593 ACPI_OBJECT_DEVICE Device; member in union:acpi_operand_object
|
/barrelfish-master/lib/acpica/source/components/debugger/ |
H A D | dbstats.c | 305 AcpiDbEnumerateObject (ObjDesc->Device.NotifyList[0]); 306 AcpiDbEnumerateObject (ObjDesc->Device.NotifyList[1]); 307 AcpiDbEnumerateObject (ObjDesc->Device.Handler); 569 AcpiOsPrintf ("Device %3d\n", sizeof (ACPI_OBJECT_DEVICE));
|
/barrelfish-master/lib/acpica/source/tools/examples/ |
H A D | examples.c | 156 ACPI_HANDLE Device, 417 ACPI_HANDLE Device, 416 NotifyHandler( ACPI_HANDLE Device, UINT32 Value, void *Context) argument
|
/barrelfish-master/lib/acpica/source/components/utilities/ |
H A D | utdelete.c | 224 * Device object also may have a GPE block. 228 if (Object->Device.GpeBlock) 230 (void) AcpiEvDeleteGpeBlock (Object->Device.GpeBlock);
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 78 \item Device Driver 79 \item Device Management 142 \subsection{Device Driver} 152 \subsection{Device Management} 405 \item Device Driver 406 \item Device Management 614 \subsection{Device Drivers} 616 Device drivers depend on the capability management service since they 626 \subsection{Device Management} 913 Device Drive [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | events.pl | 410 print_syntax_error(Id, context(_Stream, Device, Name, Line, String, From, Where)) ?- !, 412 ( Device==tty -> 415 printf(error, "%s %w", [Device,Name]), 435 stream_info_(Stream, 13, Device), 437 short_stream_name(Device, DevName, Stream, Name), 439 get_context_strings(Device, Stream, Where, From, Left, Right, NewLine), 449 get_context_strings(Device, Stream, Pos, From, Left, Right, NewLine) :- 450 ( Device==file ; Device==string ), % fully seekable devices 468 get_context_strings(Device, Strea [all...] |
/barrelfish-master/lib/acpica/source/components/executer/ |
H A D | exregion.c | 494 Function, BitWidth, PciId->Segment, PciId->Bus, PciId->Device,
|
/barrelfish-master/lib/acpica/source/components/namespace/ |
H A D | nseval.c | 530 ParentNode->Object->Device.Handler;
|