synchronization.h: Add __dmb() intrinsic

This commit is contained in:
fincs 2020-06-22 22:08:21 +02:00
parent b93e7f19bf
commit 2ff08fbac8
No known key found for this signature in database
GPG Key ID: 62C7609ADA219C60

View File

@ -33,6 +33,12 @@ static inline void __dsb(void)
__asm__ __volatile__("mcr p15, 0, %[val], c7, c10, 4" :: [val] "r" (0) : "memory");
}
/// Performs a Data Memory Barrier operation.
static inline void __dmb(void)
{
__asm__ __volatile__("mcr p15, 0, %[val], c7, c10, 5" :: [val] "r" (0) : "memory");
}
/// Performs a clrex operation.
static inline void __clrex(void)
{