Symbol: __insn_barrier
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
752
__insn_barrier();
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1138
__insn_barrier();