diff --git a/android/abi_gki_aarch64_pixel b/android/abi_gki_aarch64_pixel
index e20fe855f463..33d8b96ca25c 100644
--- a/android/abi_gki_aarch64_pixel
+++ b/android/abi_gki_aarch64_pixel
@@ -1301,6 +1301,9 @@
   pin_user_pages_fast
   pin_user_pages_remote
   pktgen_xfrm_outer_mode_output
+  pkvm_iommu_resume
+  pkvm_iommu_s2mpu_register
+  pkvm_iommu_suspend
   platform_bus_type
   platform_device_add
   platform_device_add_data