sfence_vma         77 kernel/vm.c      sfence_vma();
sfence_vma         82 kernel/vm.c      sfence_vma();