HomeSort by: relevance | last modified time | path
    Searched defs:DeviceType (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/external/bsd/gnu-efi/dist/inc/protocol/
legacyboot.h 35 UINT16 DeviceType;
  /src/sbin/efi/
devpath5.c 91 uint16_t DeviceType; /* see devpath_bios_typename() */
98 typename = devpath_bios_typename(p->DeviceType);
101 typename, p->DeviceType, p->StatusFlag, p->Description);
110 DEVPATH_FMT(DeviceType: %x (%s)\n)
114 p->DeviceType,
  /src/sys/external/bsd/gnu-efi/dist/inc/
efidevp.h 455 UINT16 DeviceType;
460 /* DeviceType definitions - from BBS specification */
  /src/sys/external/bsd/acpica/dist/include/
actbl2.h 2677 UINT8 DeviceType;
2704 /* Values for DeviceType field above */

Completed in 16 milliseconds