sys/dev/virtual/nvmm/nvmm.c

158

(vaddr_t)vcpu->comm + NVMM_COMM_PAGE_SIZE, true);

sys/dev/virtual/nvmm/nvmm.c

246

args->cap.comm_size = NVMM_COMM_PAGE_SIZE;

sys/dev/virtual/nvmm/nvmm.c

280

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

sys/dev/virtual/nvmm/nvmm.c

386

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

sys/dev/virtual/nvmm/nvmm.c

387

args->cpuid * NVMM_COMM_PAGE_SIZE, true /* wired */,

sys/dev/virtual/nvmm/nvmm.c

396

memset(vcpu->comm, 0, NVMM_COMM_PAGE_SIZE);

sys/dev/virtual/nvmm/nvmm.c

400

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

sys/dev/virtual/nvmm/nvmm.c

401

args->cpuid * NVMM_COMM_PAGE_SIZE, false /* !wired */,