platform: generic-arm64: Include the Hafnium vmapi headers am: 495f4b0568

Original change: https://android-review.googlesource.com/c/trusty/lk/trusty/+/3453131

Change-Id: I8f4889b6a6c70536ec47b1545b193f88a4154255
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>

platform/generic-arm64/rules.mk

diff --git a/platform/generic-arm64/rules.mk b/platform/generic-arm64/rules.mk
index a58b0f6..0d115b0 100644
--- a/platform/generic-arm64/rules.mk
+++ b/platform/generic-arm64/rules.mk
@@ -48,6 +48,10 @@
 ifeq (true,$(call TOBOOL,$(HAFNIUM)))
 MODULE_DEFINES += HAFNIUM=1
 MODULE_DEPS += dev/interrupt/hafnium
+MODULE_INCLUDES += \
+	external/hafnium/inc/vmapi \
+	external/hafnium/src/arch/$(HAFNIUM_ARCH)/inc \
+
 else
 MODULE_DEFINES += GIC_VERSION=$(GIC_VERSION)
 MODULE_DEPS += dev/interrupt/arm_gic