diff --git a/vmm/src/device_manager.rs b/vmm/src/device_manager.rs
index 577c663b5..ee694cc0a 100644
--- a/vmm/src/device_manager.rs
+++ b/vmm/src/device_manager.rs
@@ -1656,10 +1656,13 @@ fn create_ged_device(ged_irq: u32) -> Vec<u8> {
                 "_EVT".into(),
                 1,
                 true,
-                vec![&aml::If::new(
-                    &aml::Equal::new(&aml::Path::new("GDAT"), &aml::ONE),
-                    vec![&aml::MethodCall::new("\\_SB_.CPUS.CSCN".into(), vec![])],
-                )],
+                vec![
+                    &aml::Store::new(&aml::Local(0), &aml::Path::new("GDAT")),
+                    &aml::If::new(
+                        &aml::Equal::new(&aml::Local(0), &aml::ONE),
+                        vec![&aml::MethodCall::new("\\_SB_.CPUS.CSCN".into(), vec![])],
+                    ),
+                ],
             ),
         ],
     )