Symbol: port_type
headers/private/kernel/acpi.h
314
uint16 port_type;
src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp
58
if (info->port_type == ACPI_DBG2_PORT_TYPE_SERIAL && info->num_addresses > 0) {