sfence_vma         78 kernel/vm.c      sfence_vma();
sfence_vma         83 kernel/vm.c      sfence_vma();