Searched refs:EFI_ACPI_FIXED_LOCATION_IO_PORT_DESCRIPTOR (Results 1 – 2 of 2) sorted by relevance
194 } EFI_ACPI_FIXED_LOCATION_IO_PORT_DESCRIPTOR; typedef
300 EFI_ACPI_FIXED_LOCATION_IO_PORT_DESCRIPTOR *fixedio; in efi_get_sio_serial_name()328 (EFI_ACPI_FIXED_LOCATION_IO_PORT_DESCRIPTOR *) in efi_get_sio_serial_name()