Lines Matching refs:devpath
129 efi_serial_get_index(EFI_DEVICE_PATH *devpath, int idx) in efi_serial_get_index() argument
134 while (!IsDevicePathEnd(devpath)) { in efi_serial_get_index()
135 if (DevicePathType(devpath) == MESSAGING_DEVICE_PATH && in efi_serial_get_index()
136 DevicePathSubType(devpath) == MSG_UART_DP) in efi_serial_get_index()
139 if (DevicePathType(devpath) == ACPI_DEVICE_PATH && in efi_serial_get_index()
140 (DevicePathSubType(devpath) == ACPI_DP || in efi_serial_get_index()
141 DevicePathSubType(devpath) == ACPI_EXTENDED_DP)) { in efi_serial_get_index()
143 acpi = (ACPI_HID_DEVICE_PATH *)devpath; in efi_serial_get_index()
149 devpath = NextDevicePathNode(devpath); in efi_serial_get_index()
164 EFI_DEVICE_PATH *devpath; in efi_serial_get_handle() local
182 devpath = efi_lookup_devpath(condev); in efi_serial_get_handle()
184 efi_serial_get_index(devpath, index); in efi_serial_get_handle()
194 devpath = efi_lookup_devpath(handles[index]); in efi_serial_get_handle()
195 if (port == efi_serial_get_index(devpath, index)) in efi_serial_get_handle()