diff --git a/android/abi_gki_aarch64_pixel b/android/abi_gki_aarch64_pixel
index 083f79449940..0a13903a0dc8 100644
--- a/android/abi_gki_aarch64_pixel
+++ b/android/abi_gki_aarch64_pixel
@@ -1255,9 +1255,11 @@
   pin_user_pages_fast
   pin_user_pages_remote
   pktgen_xfrm_outer_mode_output
+  pkvm_iommu_finalize
   pkvm_iommu_resume
   pkvm_iommu_s2mpu_register
   pkvm_iommu_suspend
+  pkvm_iommu_sysmmu_sync_register
   platform_bus_type
   platform_device_add
   platform_device_add_data