Searched refs:CP15_CP15DMB (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/include/arch/arm/machine/ | ||
| H A D | asm.h | 241 #define DMB mcr CP15_CP15DMB |
| H A D | sysreg.h | 189 #define CP15_CP15DMB p15, 0, r0, c7, c10, 5 /* DMB */ macro |
Completed in 15 milliseconds