Searched refs:dmb (Results 1 - 9 of 9) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/armv/armv6/armv/
H A Dmachine.h35 static inline void dmb(void) function
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/
H A Dmachine.h26 static inline void dmb(void) function
28 asm volatile("dmb sy" ::: "memory");
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/
H A Dmachine.h27 static inline void dmb(void) function
29 asm volatile("dmb" ::: "memory");
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/
H A Dmachine.h27 static inline void dmb(void) function
29 asm volatile("dmb" ::: "memory");
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/32/armv/
H A Dmachine.h27 static inline void dmb(void) function
29 asm volatile("dmb" ::: "memory");
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dhardware.h30 dmb(); \
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/
H A Dmachine.h341 dmb();
367 dmb();
380 dmb();
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/
H A Dmachine.h247 dmb();
253 dmb();
259 dmb();
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Dl2c_310.c358 dmb();
431 dmb();

Completed in 34 milliseconds