diff --git a/android/abi_gki_aarch64_pixel b/android/abi_gki_aarch64_pixel
index 91ba90786e99..a73bd0454474 100644
--- a/android/abi_gki_aarch64_pixel
+++ b/android/abi_gki_aarch64_pixel
@@ -1252,6 +1252,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