Searched refs:ACPI_HID_DEVICE_PATH (Results 1 – 4 of 4) sorted by relevance
212 } ACPI_HID_DEVICE_PATH; typedef1263 ACPI_HID_DEVICE_PATH Acpi;1319 ACPI_HID_DEVICE_PATH *Acpi;
190 ACPI_HID_DEVICE_PATH *acpi; in has_keyboard()192 acpi = (ACPI_HID_DEVICE_PATH *)(void *)path; in has_keyboard()513 ACPI_HID_DEVICE_PATH *acpi; in parse_uefi_con_out()604 ACPI_HID_DEVICE_PATH *acpi; in efi_serial_get_uid()610 acpi = (ACPI_HID_DEVICE_PATH *)devpath; in efi_serial_get_uid()
145 ACPI_HID_DEVICE_PATH *acpi; in efi_serial_get_index()151 acpi = (ACPI_HID_DEVICE_PATH *)devpath; in efi_serial_get_index()
415 static ACPI_HID_DEVICE_PATH *418 ACPI_HID_DEVICE_PATH *acpi; in efipart_floppy()422 acpi = (ACPI_HID_DEVICE_PATH *) node; in efipart_floppy()451 ACPI_HID_DEVICE_PATH *acpi; in efipart_initfd()