Symbol: psp_launch_update
usr.sbin/vmd/sev.c
155
if (psp_launch_update(vm->vm_sev_handle, vmr->vmr_va,
usr.sbin/vmd/vmd.h
602
int psp_launch_update(uint32_t, vaddr_t, size_t);