diff --git a/hypervisor/arch/x86/cpu.c b/hypervisor/arch/x86/cpu.c
index 29df60c1b..f8b881130 100644
--- a/hypervisor/arch/x86/cpu.c
+++ b/hypervisor/arch/x86/cpu.c
@@ -224,12 +224,12 @@ void init_pcpu_post(uint16_t pcpu_id)
 		timer_init();
 		setup_notification();
 		setup_posted_intr_notification();
-		init_pci_pdev_list();
 
 		if (init_iommu() != 0) {
 			panic("failed to initialize iommu!");
 		}
 
+		init_pci_pdev_list(); /* init_iommu must come before this */
 		ptdev_init();
 
 		if (init_sgx() != 0) {