Lines Matching refs:devpath
123 efi_serial_get_index(EFI_DEVICE_PATH *devpath, int idx)
128 while (!IsDevicePathEnd(devpath)) {
129 if (DevicePathType(devpath) == MESSAGING_DEVICE_PATH &&
130 DevicePathSubType(devpath) == MSG_UART_DP)
133 if (DevicePathType(devpath) == ACPI_DEVICE_PATH &&
134 (DevicePathSubType(devpath) == ACPI_DP ||
135 DevicePathSubType(devpath) == ACPI_EXTENDED_DP)) {
137 acpi = (ACPI_HID_DEVICE_PATH *)devpath;
143 devpath = NextDevicePathNode(devpath);
158 EFI_DEVICE_PATH *devpath;
176 devpath = efi_lookup_devpath(condev);
178 efi_serial_get_index(devpath, index);
188 devpath = efi_lookup_devpath(handles[index]);
189 if (port == efi_serial_get_index(devpath, index))