acpi_dbg2_device_info - Haiku

Symbol: acpi_dbg2_device_info

src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp

acpi_dbg2_device_info *info = (acpi_dbg2_device_info*)((char*)dbg2

src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp

while (info != (acpi_dbg2_device_info*)((char*)dbg2 + dbg2->header.length)) {

src/system/boot/platform/efi/arch/arm64/arch_acpi.cpp

info = (acpi_dbg2_device_info*)((char*)info + info->length);