Symbol: BARRIERNAME
sys/arch/aarch64/aarch64/disasm.c
1668
PRINTF("dmb\t%s\n", BARRIERNAME(CRm));
sys/arch/aarch64/aarch64/disasm.c
1673
PRINTF("dsb\t%s\n", BARRIERNAME(CRm));