Searched defs:dsb (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv7/ |
| H A D | cp15.h | 264 static inline void dsb(void) { __asm volatile ("dsb"); } function
|
| /barrelfish-master/include/arch/arm/machine/ |
| H A D | atomic-v4.h | 48 #define dsb() __asm __volatile("mcr p15, 0, %0, c7, c10, 4" : : "r" (0) : "memory") macro
|
| H A D | atomic-v6.h | 48 #define dsb() __asm __volatile("dsb" : : : "memory") macro
52 #define dsb() __asm __volatile("mcr p15, 0, %0, c7, c10, 4" : : "r" (0) : "memory") macro
|
| /barrelfish-master/include/arch/aarch64/machine/ |
| H A D | atomic.h | 49 #define dsb(opt) __asm __volatile("dsb " __STRING(opt) : : : "memory") macro
|
Completed in 44 milliseconds