src/add-ons/kernel/drivers/nvmm/nvmm.c

165

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

253

args->cap.comm_size = NVMM_COMM_PAGE_SIZE;

src/add-ons/kernel/drivers/nvmm/nvmm.c

287

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

src/add-ons/kernel/drivers/nvmm/nvmm.c

394

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/add-ons/kernel/drivers/nvmm/nvmm.c

395

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

401

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/add-ons/kernel/drivers/nvmm/nvmm.c

402

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

412

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

src/add-ons/kernel/drivers/nvmm/nvmm.c

416

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/add-ons/kernel/drivers/nvmm/nvmm.c

417

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

src/libs/nvmm/driver/nvmm.c

165

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

src/libs/nvmm/driver/nvmm.c

253

args->cap.comm_size = NVMM_COMM_PAGE_SIZE;

src/libs/nvmm/driver/nvmm.c

287

NVMM_MAX_VCPUS * NVMM_COMM_PAGE_SIZE);

src/libs/nvmm/driver/nvmm.c

394

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/libs/nvmm/driver/nvmm.c

395

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

src/libs/nvmm/driver/nvmm.c

401

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/libs/nvmm/driver/nvmm.c

402

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

src/libs/nvmm/driver/nvmm.c

412

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

src/libs/nvmm/driver/nvmm.c

416

NVMM_COMM_PAGE_SIZE, mach->commvmobj,

src/libs/nvmm/driver/nvmm.c

417

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