Symbol: VMCB_TLB_FLUSH_NOTHING
sys/amd64/vmm/amd/svm.c
1994
ctrl->tlb_ctrl = VMCB_TLB_FLUSH_NOTHING;
sys/amd64/vmm/amd/svm.c
2008
KASSERT(ctrl->tlb_ctrl == VMCB_TLB_FLUSH_NOTHING,