Changeset 108835 in vbox for trunk/include

Timestamp:

Apr 3, 2025 10:40:08 AM (3 weeks ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

168283

Message:

VMM/GIC: bugref:10877 GITS work-in-progress, remove unused R0/RC callbacks, fixed typo in debug info dumping ITS table base adderss registers and other nits.

File:

• trunk/include/VBox/gic-its.h (modified) (3 diffs)

trunk/include/VBox/gic-its.h

@@ -264 +264 @@
 /** GITS_BASER: ITS Table Descriptors - RW. */
 #define GITS_CTRL_REG_BASER_OFF_FIRST                           0x0100
+#define GITS_CTRL_REG_BASER_OFF_LAST                            0x0138
+#define GITS_CTRL_REG_BASER_RANGE_SIZE                          (GITS_CTRL_REG_BASER_OFF_LAST + sizeof(uint64_t) - GITS_CTRL_REG_BASER_OFF_FIRST)
 /** GITS_BASER: Size - Number of pages allocated to the table minus one. */
 #define GITS_BF_CTRL_REG_BASER_SIZE_SHIFT                       0
@@ -299 +301 @@
                              VALID));
 
-#define GITS_CTRL_REG_BASER_OFF_LAST                            0x0138
-#define GITS_CTRL_REG_BASER_RANGE_SIZE                          (GITS_CTRL_REG_BASER_OFF_LAST + sizeof(uint64_t) - GITS_CTRL_REG_BASER_OFF_FIRST)
-
 /** GITS_PIDR2: ITS Peripheral ID2 register - RO. */
 #define GITS_CTRL_REG_PIDR2_OFF                                 0xffe8
@@ -331 +330 @@
 #define GITS_TRANSLATION_REG_TRANSLATER                         0x0040
 
+/** GITS Two-level (indirect) table entry. */
+#define GITS_BF_ITE_LVL2_RSVD_11_0_SHIFT                        0
+#define GITS_BF_ITE_LVL2_RSVD_11_0_MASK                         UINT64_C(0x0000000000000fff)
+#define GITS_BF_ITE_LVL2_PHYS_ADDR_SHIFT                        12
+#define GITS_BF_ITE_LVL2_PHYS_ADDR_MASK                         UINT64_C(0x000ffffffffff000)
+#define GITS_BF_ITE_LVL2_RSVD_62_52_SHIFT                       52
+#define GITS_BF_ITE_LVL2_RSVD_62_52_MASK                        UINT64_C(0x7ff0000000000000)
+#define GITS_BF_ITE_LVL2_VALID_SHIFT                            63
+#define GITS_BF_ITE_LVL2_VALID_MASK                             UINT64_C(0x8000000000000000)
+RT_BF_ASSERT_COMPILE_CHECKS(GITS_BF_ITE_LVL2_, UINT64_C(0), UINT64_MAX,
+                            (RSVD_11_0, PHYS_ADDR, RSVD_62_52, VALID));
+
 /**
  * Memory shareability attributes.