Changeset 105443 in vbox for trunk/include/iprt/armv8.h

Timestamp:

Jul 23, 2024 11:24:56 AM (4 months ago)

Author:

vboxsync

Message:

iprt/armv8.h: DMB, DSB, ISB, SSBB & PSSBB. (Only DMB has been tested.) bugref:10727

File:

• trunk/include/iprt/armv8.h (modified) (1 diff)

trunk/include/iprt/armv8.h

@@ -2486 +2486 @@
 
 
+/** Memory barrier: Shareability domain. */
+typedef enum
+{
+    kArm64InstMbReqDomain_OuterShareable = 0,
+    kArm64InstMbReqDomain_Nonshareable,
+    kArm64InstMbReqDomain_InnerShareable,
+    kArm64InstMbReqDomain_FullSystem
+} ARM64INSTRMBREQDOMAIN;
+
+/** Memory barrier: Access type. */
+typedef enum
+{
+    kArm64InstMbReqType_All0 = 0,   /**< Special. Only used with PSSBB and SSBB. */
+    kArm64InstMbReqType_Reads,
+    kArm64InstMbReqType_Writes,
+    kArm64InstMbReqType_All
+} ARM64INSTRMBREQTYPE;
+
+/**
+ * A64: DMB option
+ */
+DECL_FORCE_INLINE(uint32_t) Armv8A64MkInstrDmb(ARM64INSTRMBREQDOMAIN enmDomain = kArm64InstMbReqDomain_FullSystem,
+                                               ARM64INSTRMBREQTYPE enmType = kArm64InstMbReqType_All)
+{
+    return UINT32_C(0xd50330bf)
+         | ((uint32_t)enmDomain << 8)
+         | ((uint32_t)enmType   << 10);
+}
+
+
+/**
+ * A64: DSB option
+ */
+DECL_FORCE_INLINE(uint32_t) Armv8A64MkInstrDsb(ARM64INSTRMBREQDOMAIN enmDomain = kArm64InstMbReqDomain_FullSystem,
+                                               ARM64INSTRMBREQTYPE enmType = kArm64InstMbReqType_All)
+{
+    return UINT32_C(0xd503309f)
+         | ((uint32_t)enmDomain << 8)
+         | ((uint32_t)enmType   << 10);
+}
+
+
+/**
+ * A64: SSBB
+ */
+DECL_FORCE_INLINE(uint32_t) Armv8A64MkInstrSsbb(void)
+{
+    return Armv8A64MkInstrDsb(kArm64InstMbReqDomain_OuterShareable, kArm64InstMbReqType_All0);
+}
+
+
+/**
+ * A64: PSSBB
+ */
+DECL_FORCE_INLINE(uint32_t) Armv8A64MkInstrPSsbb(void)
+{
+    return Armv8A64MkInstrDsb(kArm64InstMbReqDomain_Nonshareable, kArm64InstMbReqType_All0);
+}
+
+
+/**
+ * A64: ISB option
+ *
+ * @note Only the default option selection is supported, all others are
+ *       currently reserved.
+ */
+DECL_FORCE_INLINE(uint32_t) Armv8A64MkInstrIsb(ARM64INSTRMBREQDOMAIN enmDomain = kArm64InstMbReqDomain_FullSystem,
+                                               ARM64INSTRMBREQTYPE enmType = kArm64InstMbReqType_All)
+{
+    return UINT32_C(0xd50330df)
+         | ((uint32_t)enmDomain << 8)
+         | ((uint32_t)enmType   << 10);
+}
+
+
 typedef enum
 {