Searched defs:DSB (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv6/armv/ |
| H A D | assembler.h | 18 #define DSB(reg) p15, 0, reg, c7, c10, 4 macro
|
| /seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv6/armv/ |
| H A D | assembler.h | 18 #define DSB(reg) p15, 0, reg, c7, c10, 4 macro
|
| /seL4-refos-master/libs/libutils/arch_include/arm/utils/arch/ |
| H A D | io.h | 16 #define DSB() asm volatile("dsb" ::: "memory") macro
|
| /seL4-refos-master/projects/util_libs/libutils/arch_include/arm/utils/arch/ |
| H A D | io.h | 16 #define DSB() asm volatile("dsb" ::: "memory") macro
|
Completed in 68 milliseconds