Symbol: cp15barrier_handler
arch/arm64/kernel/armv8_deprecated.c
320
return cp15barrier_handler(regs, insn) == 0;
arch/arm64/kernel/armv8_deprecated.c
323
return cp15barrier_handler(regs, insn) == 0;