Lines Matching defs:type
1580 file_path->type = UEFI_MEDIA_PATH;
1597 * uefi_device_path_t structure, so it doesn't need a special type.
1611 end_path->type = UEFI_END_PATH;
1637 sata->type = UEFI_MESSAGE_PATH;
1667 scsi->type = UEFI_MESSAGE_PATH;
1696 atapi->type = UEFI_MESSAGE_PATH;
1725 ctrl->type = UEFI_HARDWARE_PATH;
1753 pci->type = UEFI_HARDWARE_PATH;
1781 acpi->type = UEFI_ACPI_PATH;
1837 acpie->type = UEFI_ACPI_PATH;
2007 hd_path->type = UEFI_MEDIA_PATH;
2177 hd_path->type = UEFI_MEDIA_PATH;
2900 char path[PATH_MAX], type[10];
2907 (void) strcpy(type, type_str[bios->device_type]);
2909 (void) sprintf(type, "0x%x", bios->device_type);
2912 (void) snprintf(path, PATH_MAX, "/BBS(%s,%s,0x%x)", type,
2924 switch (device_path->type) {
2949 device_path->type, device_path->subtype,
3140 if ((dp->type == UEFI_MEDIA_PATH) &&
3221 if ((dp->type == UEFI_MEDIA_PATH) &&
3418 if (option->dpath_list[0]->type == UEFI_ACPI_PATH) {
3431 if ((dp->type == UEFI_MEDIA_PATH) &&
3651 if (((*dpath)->type == UEFI_MEDIA_PATH) &&