VMM_CTL_MINOR
if (minor == VMM_CTL_MINOR) {
if (minor == VMM_CTL_MINOR) {
if (minor == VMM_CTL_MINOR) {
if (minor == VMM_CTL_MINOR) {
VMM_CTL_MINOR, DDI_PSEUDO, 0) != 0) {
vmm_minors = id_space_create("vmm_minors", VMM_CTL_MINOR + 1, MAXMIN32);