Symbol: svm_vmcb_cache_update
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c
629
svm_vmcb_cache_update(struct vmcb *vmcb, uint64_t flags)
src/libs/nvmm/driver/x86/nvmm_x86_svm.c
629
svm_vmcb_cache_update(struct vmcb *vmcb, uint64_t flags)