Symbol: VMCB_TLB_FLUSH_GUEST
sys/amd64/vmm/amd/svm.c
2000
ctrl->tlb_ctrl = VMCB_TLB_FLUSH_GUEST; /* (b1) */
sys/amd64/vmm/amd/svm.c
2037
ctrl->tlb_ctrl = VMCB_TLB_FLUSH_GUEST;