Symbol: flush_by_asid
sys/amd64/vmm/amd/svm.c
1999
if (flush_by_asid())
sys/amd64/vmm/amd/svm.c
2023
if (!flush_by_asid())
sys/amd64/vmm/amd/svm.c
2036
if (flush_by_asid())