#include <Library/UefiBootServicesTableLib.h>\r
#include <OvmfPlatforms.h>\r
\r
-\r
-#define LEGACY_INT_BUS 0\r
+#define LEGACY_INT_BUS 0\r
#define LEGACY_INT_DEV_PIIX4 0x01\r
#define LEGACY_INT_DEV_Q35 0x1f\r
-#define LEGACY_INT_FUNC 0\r
+#define LEGACY_INT_FUNC 0\r
\r
-#define PIRQN 0x00 // PIRQ Null\r
-#define PIRQA 0x60\r
-#define PIRQB 0x61\r
-#define PIRQC 0x62\r
-#define PIRQD 0x63\r
-#define PIRQE 0x68\r
-#define PIRQF 0x69\r
-#define PIRQG 0x6A\r
-#define PIRQH 0x6B\r
+#define PIRQN 0x00 // PIRQ Null\r
+#define PIRQA 0x60\r
+#define PIRQB 0x61\r
+#define PIRQC 0x62\r
+#define PIRQD 0x63\r
+#define PIRQE 0x68\r
+#define PIRQF 0x69\r
+#define PIRQG 0x6A\r
+#define PIRQH 0x6B\r
\r
-#define MAX_PIRQ_NUMBER 8\r
+#define MAX_PIRQ_NUMBER 8\r
\r
/**\r
Return the number of PIRQs supported by this chipset.\r
);\r
\r
#endif\r
-\r