| /src/sys/external/bsd/gnu-efi/dist/inc/ |
| pci22.h | 41 UINT16 DeviceId;
176 UINT16 DeviceId;
|
| efidevp.h | 334 UINT64 DeviceId;
|
| efilib.h | 929 IN UINT16 DeviceId,
|
| /src/sys/arch/prep/prep/ |
| machdep.c | 429 if (ppc_dev[i].DeviceId.DevId == 0x41d00000) /* ISA_PIC */
432 if (ppc_dev[i].DeviceId.DevId == 0x244d000d) { /* MPIC */
|
| platform.c | 217 return dev->DeviceId.Interface;
|
| residual.c | 183 * Count the number of a specific deviceid on the pnp tree.
192 char deviceid[8]; local
198 DEVICE_ID *id = &ppc_dev[i].DeviceId;
200 pnp_devid_to_string(id->DevId, deviceid);
201 if (strcmp(deviceid, devid) == 0)
217 char deviceid[8]; local
227 DEVICE_ID *id = &ppc_dev[i].DeviceId;
235 pnp_devid_to_string(id->DevId, deviceid);
236 if (strcmp(deviceid, devid) == 0) {
316 char deviceid[9] local
[all...] |
| /src/sys/arch/prep/include/ |
| residual.h | 232 DEVICE_ID DeviceId;
|
| /src/sys/external/bsd/acpica/dist/common/ |
| dmtbinfo2.c | 308 {ACPI_DMT_FLAG4, ACPI_IORT4_FLAG_OFFSET (Flags, 0), "DeviceID Valid", 0},
396 {ACPI_DMT_UINT32, ACPI_IOVT0_OFFSET (DeviceId), "IOMMU DeviceID", 0},
417 {ACPI_DMT_UINT16, ACPI_IOVTDEV_OFFSET (DeviceId), "DeviceID", 0},
452 {ACPI_DMT_UINT16, ACPI_IVRSH_OFFSET (DeviceId), "DeviceId", 0},
476 {ACPI_DMT_UINT16, ACPI_IVRS01_OFFSET (Header.DeviceId), "DeviceId", 0},
498 {ACPI_DMT_UINT16, ACPI_IVRSH_OFFSET (DeviceId), "DeviceId", 0}
[all...] |
| dmtbinfo1.c | 758 {ACPI_DMT_UINT16, ACPI_CSRT0_OFFSET (DeviceId), "Device ID", 0},
|
| /src/sys/external/bsd/acpica/dist/include/ |
| actbl2.h | 1072 UINT32 DeviceId;
1091 UINT16 DeviceId;
1136 UINT16 DeviceId; /* ID of IOMMU */
2610 UINT16 DeviceId;
2762 UINT16 DeviceId;
2786 /* Values for DeviceId field above */
|
| actbl1.h | 815 UINT16 DeviceId;
1336 UINT16 DeviceId;
|
| /src/sys/arch/prep/pnpbus/ |
| pnpbus.c | 341 DEVICE_ID *id = &dev->DeviceId;
|
| /src/sys/external/bsd/gnu-efi/dist/lib/ |
| dpath.c | 871 InfiniBand->TargetPortId, InfiniBand->DeviceId);
|
| /src/usr.sbin/acpitools/acpidump/ |
| acpi.c | 63 static void acpi_print_pci(uint16_t vendorid, uint16_t deviceid,
273 acpi_print_pci(uint16_t vendorid, uint16_t deviceid,
276 if (vendorid == 0xffff && deviceid == 0xffff) {
283 printf("\t\tDevice=0x%x\n", deviceid);
1314 printf("\tDeviceId=0x%08x\n", grp->DeviceId);
3330 printf("\tDeviceId=0x%04x\n", (u_int)ctlreg->DeviceId);
|
