Change the local one to match this one and everyone is happy. diff --git a/pal/uefi_acpi/common/src/pal_gic.c b/pal/uefi_acpi/common/src/pal_gic.c index 755d2bce62ee ...