Symbol: vmmr_ioctl
usr/src/uts/intel/io/vmm/sys/vmm_reservoir.h
36
int vmmr_ioctl(int, intptr_t, int, cred_t *, int *);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
3148
return (vmmr_ioctl(cmd, arg, md, cr, rvalp));