dev: Fix port name in x86 device

Change-Id: I7704109287b9a1a09e51da3c62c29720631ce87e
Signed-off-by: Jason Lowe-Power <jason@lowepower.com>
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/34435
Reviewed-by: Bobby R. Bruce <bbruce@ucdavis.edu>
Maintainer: Bobby R. Bruce <bbruce@ucdavis.edu>
Tested-by: kokoro <noreply+kokoro@google.com>
diff --git a/src/cpu/tmp.ipynb b/src/cpu/tmp.ipynb
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/src/cpu/tmp.ipynb
diff --git a/src/dev/x86/i82094aa.cc b/src/dev/x86/i82094aa.cc
index c7817dc..bb28a8a 100644
--- a/src/dev/x86/i82094aa.cc
+++ b/src/dev/x86/i82094aa.cc
@@ -79,7 +79,7 @@
 Port &
 X86ISA::I82094AA::getPort(const std::string &if_name, PortID idx)
 {
-    if (if_name == "int_request")
+    if (if_name == "int_requestor")
         return intRequestPort;
     if (if_name == "inputs")
         return *inputs.at(idx);