Symbol: svm_launch
sys/amd64/vmm/amd/svm.c
2243
svm_launch(vmcb_pa, gctx, get_pcpu());
sys/amd64/vmm/amd/svm.h
68
void svm_launch(uint64_t pa, struct svm_regctx *gctx, struct pcpu *pcpu);