Symbol: BARRIERNAME
sys/arch/arm64/arm64/disasm.c
1584
PRINTF("dmb\t%s\n", BARRIERNAME(CRm));
sys/arch/arm64/arm64/disasm.c
1589
PRINTF("dsb\t%s\n", BARRIERNAME(CRm));