Symbol: svm_seves_enter_guest
sys/arch/amd64/amd64/vmm_machdep.c
6806
ret = svm_seves_enter_guest(vcpu->vc_control_pa,
sys/arch/amd64/include/vmmvar.h
1052
int svm_seves_enter_guest(uint64_t, vaddr_t, struct region_descriptor *);