sfence_vma         65 kernel/vm.c      sfence_vma();
sfence_vma         70 kernel/vm.c      sfence_vma();