| /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 in function:count_pnp_devices
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 in function:find_nth_pnp_device
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 in function:print_residual_device_info
[all...] |
| /src/sys/arch/prep/include/ |
| residual.h | 232 DEVICE_ID DeviceId;
|
| /src/sys/external/bsd/acpica/dist/common/ |
| dmtbinfo2.c | 416 {ACPI_DMT_FLAG4, ACPI_IORT4_FLAG_OFFSET (Flags, 0), "DeviceID Valid", 0},
492 {ACPI_DMT_UINT16, ACPI_IVRSH_OFFSET (DeviceId), "DeviceId", 0},
516 {ACPI_DMT_UINT16, ACPI_IVRS01_OFFSET (Header.DeviceId), "DeviceId", 0},
538 {ACPI_DMT_UINT16, ACPI_IVRSH_OFFSET (DeviceId), "DeviceId", 0},
1586 {ACPI_DMT_UINT16, ACPI_NFIT4_OFFSET (DeviceId), "Device Id", 0},
|
| dmtbinfo1.c | 866 {ACPI_DMT_UINT16, ACPI_CSRT0_OFFSET (DeviceId), "Device ID", 0},
|
| /src/sys/external/bsd/acpica/dist/include/ |
| actbl1.h | 922 UINT16 DeviceId;
1443 UINT16 DeviceId;
|
| actbl2.h | 1155 UINT16 DeviceId; /* ID of IOMMU */
2522 UINT16 DeviceId;
2674 UINT16 DeviceId;
2698 /* Values for DeviceId field above */
|
| /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);
|
