Symbol: pledge_ioctl_vmm_machdep
sys/arch/amd64/include/vmmvar.h
1060
int pledge_ioctl_vmm_machdep(struct proc *, long);
sys/dev/vmm/vmm.c
310
return pledge_ioctl_vmm_machdep(p, com);