usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1057

KASSERT(domain, ("domain is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1134

KASSERT(domain, ("domain is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1136

KASSERT(level, ("Page table level is 0"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1139

KASSERT(ptp, ("PTP is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1222

KASSERT(domain, ("domain is NULL for pci_rid:0x%x\n", devid));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1223

KASSERT(softc, ("softc is NULL for pci_rid:0x%x\n", devid));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1258

KASSERT(softc, ("softc is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1275

KASSERT(domain != NULL, ("domain is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1315

KASSERT(softc, ("softc is NULL\n"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1317

KASSERT(ctrl, ("ctrl is NULL\n"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1349

KASSERT(softc, ("softc is NULL\n"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1351

KASSERT(ctrl, ("ctrl is NULL\n"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

1363

KASSERT(domain, ("domain is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

179

KASSERT(softc, ("softc is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

266

KASSERT(softc, ("softc is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

267

KASSERT(softc->cmd != NULL, ("cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

270

KASSERT(ctrl != NULL, ("ctrl is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

288

KASSERT(softc->cmd != NULL, ("cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

291

KASSERT(ctrl != NULL, ("ctrl is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

316

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

334

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

352

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

383

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

406

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

423

KASSERT(cmd != NULL, ("Cmd is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

473

KASSERT(softc, ("softc is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

476

KASSERT(ctrl != NULL, ("ctrl is NULL"));

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

736

KASSERT((((cap >> 16) & 0x7) == 0x3),

usr/src/uts/intel/io/vmm/amd/amdvi_hw.c

987

KASSERT(softc, ("softc is NULL"));

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

183

KASSERT(softc->dev_cfg_cap >= softc->dev_cfg_cnt,

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

378

KASSERT(ivhd, ("ivhd%d is NULL\n", i));

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

399

KASSERT(ivhd, ("ivhd%d is NULL\n", i));

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

438

KASSERT((unit < ivhd_count),

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

441

KASSERT(ivhd, ("ivhd is NULL"));

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

638

KASSERT((unit < ivhd_count),

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

641

KASSERT((ivhd_devs[unit] == dev),

usr/src/uts/intel/io/vmm/amd/ivrs_drv.c

647

KASSERT(ivhd, ("ivhd is NULL"));

usr/src/uts/intel/io/vmm/amd/svm.c

1027

KASSERT(svm_nmi_blocked(sc, vcpu), ("vNMI already unblocked"));

usr/src/uts/intel/io/vmm/amd/svm.c

1326

KASSERT((ctrl->eventinj & VMCB_EVENTINJ_VALID) == 0, ("%s: event "

usr/src/uts/intel/io/vmm/amd/svm.c

1329

KASSERT(vmexit->inst_length >= 0 && vmexit->inst_length <= 15,

usr/src/uts/intel/io/vmm/amd/svm.c

1645

KASSERT(vector >= 0 && vector <= 255,

usr/src/uts/intel/io/vmm/amd/svm.c

1685

KASSERT(v_tpr <= 15, ("invalid v_tpr %x", v_tpr));

usr/src/uts/intel/io/vmm/amd/svm.c

1699

KASSERT(vector >= 16 && vector <= 255,

usr/src/uts/intel/io/vmm/amd/svm.c

217

KASSERT(error == 0, ("%s: invalid msr %lx", __func__, msr));

usr/src/uts/intel/io/vmm/amd/svm.c

218

KASSERT(index >= 0 && index < SVM_MSR_BITMAP_SIZE,

usr/src/uts/intel/io/vmm/amd/svm.c

220

KASSERT(bit >= 0 && bit <= 6, ("%s: invalid bit position %d "

usr/src/uts/intel/io/vmm/amd/svm.c

249

KASSERT(idx >= 0 && idx < 5, ("invalid intercept index %d", idx));

usr/src/uts/intel/io/vmm/amd/svm.c

262

KASSERT(idx >= 0 && idx < 5, ("invalid intercept index %d", idx));

usr/src/uts/intel/io/vmm/amd/svm.c

898

KASSERT(ctrl->v_intr_vector == 0, ("%s: invalid "

usr/src/uts/intel/io/vmm/amd/svm.c

966

KASSERT(ctrl->v_intr_prio & V_IGN_TPR,

usr/src/uts/intel/io/vmm/amd/svm.c

968

KASSERT(vintr_intercept_enabled(sc, vcpu),

usr/src/uts/intel/io/vmm/amd/svm.c

999

KASSERT(!vintr_intercept_enabled(sc, vcpu),

usr/src/uts/intel/io/vmm/intel/vmx.c

1314

KASSERT(vector >= 0 && vector <= 255,

usr/src/uts/intel/io/vmm/intel/vmx.c

1351

KASSERT(vector >= 16 && vector <= 255,

usr/src/uts/intel/io/vmm/intel/vmx.c

1474

KASSERT(gi & VMCS_INTERRUPTIBILITY_NMI_BLOCKING,

usr/src/uts/intel/io/vmm/intel/vmx.c

2292

KASSERT(idtvec_info & VMCS_IDT_VEC_VALID,

usr/src/uts/intel/io/vmm/intel/vmx.c

2375

KASSERT((intr_info & VMCS_INTR_VALID) != 0 &&

usr/src/uts/intel/io/vmm/intel/vmx.c

2414

KASSERT((intr_info & VMCS_INTR_VALID) != 0,

usr/src/uts/intel/io/vmm/intel/vmx.c

2485

KASSERT(error == 0, ("%s: vm_inject_exception error %d",

usr/src/uts/intel/io/vmm/intel/vmx.c

2630

KASSERT(vmxctx->inst_fail_status != VM_SUCCESS,

usr/src/uts/intel/io/vmm/intel/vmx.c

3645

KASSERT((proc_ctls2 & PROCBASED2_VIRTUALIZE_APIC_ACCESSES) != 0,

usr/src/uts/intel/io/vmm/intel/vmx.c

748

KASSERT(error == 0, ("vm_map_mmio(apicbase) error %d", error));

usr/src/uts/intel/io/vmm/intel/vmx_msr.c

110

KASSERT(one_allowed || zero_allowed,

usr/src/uts/intel/io/vmm/intel/vtd.c

543

KASSERT(SLIST_EMPTY(&domhead), ("domain list not empty"));

usr/src/uts/intel/io/vmm/intel/vtd.c

684

KASSERT(gpa + len > gpa, ("%s: invalid gpa range %lx/%lx", __func__,

usr/src/uts/intel/io/vmm/intel/vtd.c

686

KASSERT(gpa + len <= dom->maxaddr, ("%s: gpa range %lx/%lx beyond "

usr/src/uts/intel/io/vmm/io/vatpic.c

563

KASSERT(pin >= 0 && pin <= 7, ("%s: invalid pin %d", __func__, pin));

usr/src/uts/intel/io/vmm/io/vatpit.c

391

KASSERT(port >= TIMER_CNTR0 && port <= TIMER_CNTR2,

usr/src/uts/intel/io/vmm/io/vhpet.c

189

KASSERT(pin != 0, ("vhpet timer %d irq incorrectly routed", n));

usr/src/uts/intel/io/vmm/io/vhpet.c

213

KASSERT(!vhpet_timer_msi_enabled(vhpet, n), ("vhpet_timer_edge_trig: "

usr/src/uts/intel/io/vmm/io/vhpet.c

263

KASSERT(vhpet->timer[n].comprate != 0, ("hpet t%d is not periodic", n));

usr/src/uts/intel/io/vmm/io/vhpet.c

451

KASSERT(old_pin != 0, ("timer %d isr asserted to ioapic pin %d",

usr/src/uts/intel/io/vmm/io/vhpet.c

583

KASSERT(vhpet->timer[i].comprate == 0,

usr/src/uts/intel/io/vmm/io/vioapic.c

400

KASSERT(vector >= 0 && vector < 256,

usr/src/uts/intel/io/vmm/io/vlapic.c

1172

KASSERT(vector >= 16 && vector < 256, ("invalid vector %d", vector));

usr/src/uts/intel/io/vmm/io/vlapic.c

1483

KASSERT(vlapic->vm != NULL, ("vlapic_init: vm is not initialized"));

usr/src/uts/intel/io/vmm/io/vlapic.c

1484

KASSERT(vlapic->vcpuid >= 0 &&

usr/src/uts/intel/io/vmm/io/vlapic.c

1487

KASSERT(vlapic->apic_page != NULL, ("vlapic_init: apic_page is not "

usr/src/uts/intel/io/vmm/io/vlapic.c

307

KASSERT(vector >= 0 && vector < 256, ("invalid vector %d", vector));

usr/src/uts/intel/io/vmm/io/vlapic.c

404

KASSERT(index >= 0 && index <= VLAPIC_MAXLVT_INDEX, ("lvt_off_to_idx: "

usr/src/uts/intel/io/vmm/vmm.c

1110

KASSERT((mm->flags & VM_MEMMAP_F_IOMMU) == 0,

usr/src/uts/intel/io/vmm/vmm.c

1120

KASSERT((mm->flags & VM_MEMMAP_F_WIRED) != 0,

usr/src/uts/intel/io/vmm/vmm.c

1187

KASSERT(vm->iommu == NULL,

usr/src/uts/intel/io/vmm/vmm.c

1514

KASSERT(vcpu->state != VCPU_IDLE, ("invalid transition from "

usr/src/uts/intel/io/vmm/vmm.c

1519

KASSERT(vcpu->hostcpu == curcpu, ("curcpu %d and hostcpu %d "

usr/src/uts/intel/io/vmm/vmm.c

1522

KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "

usr/src/uts/intel/io/vmm/vmm.c

1590

KASSERT(!CPU_ISSET(vcpuid, &vm->halted_cpus), ("vcpu already halted"));

usr/src/uts/intel/io/vmm/vmm.c

1754

KASSERT(vme->inst_length == 0, ("%s: invalid inst_length %d",

usr/src/uts/intel/io/vmm/vmm.c

2683

KASSERT(!error, ("%s: error %d getting rip", __func__, error));

usr/src/uts/intel/io/vmm/vmm.c

3623

KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));

usr/src/uts/intel/io/vmm/vmm.c

3639

KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "

usr/src/uts/intel/io/vmm/vmm.c

3759

KASSERT(seg >= 0 && seg < nitems(seg_names),

usr/src/uts/intel/io/vmm/vmm.c

402

KASSERT(vcpu_id >= 0 && vcpu_id < vm->maxcpus,

usr/src/uts/intel/io/vmm/vmm.c

863

KASSERT(state == VCPU_RUNNING && hostcpu == curcpu,

usr/src/uts/intel/io/vmm/vmm.c

933

KASSERT(ident >= 0 && ident < VM_MAX_MEMSEGS,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1106

KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1109

KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1112

KASSERT(error == 0, ("%s: error %d getting segment descriptor %d",

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1116

KASSERT(error == 0, ("%s: error %d getting register %d", __func__,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1169

KASSERT(!error, ("%s: error %d getting rcx", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1291

KASSERT(error == 0, ("%s: error %d getting rsi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1294

KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1297

KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1309

KASSERT(error == 0, ("%s: error %d updating rsi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1313

KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1319

KASSERT(!error, ("%s: error %d updating rcx", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1343

KASSERT(!error, ("%s: error %d getting rcx", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1354

KASSERT(!error, ("%s: error %d getting rax", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1361

KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1364

KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1373

KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

1379

KASSERT(!error, ("%s: error %d updating rcx", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2017

KASSERT(error == 0, ("%s: error %d getting SS descriptor",

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2026

KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2029

KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2032

KASSERT(error == 0, ("%s: error %d getting rsp", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2074

KASSERT(error == 0, ("error %d updating rsp", error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2154

KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2174

KASSERT(error == 0, ("%s: error %d updating rflags", __func__, error));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2782

KASSERT(size == 1 || size == 2 || size == 4 || size == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2784

KASSERT(cpl >= 0 && cpl <= 3, ("%s: invalid cpl %d", __func__, cpl));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2814

KASSERT(size == 1 || size == 2 || size == 4 || size == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2827

KASSERT(seg >= VM_REG_GUEST_ES && seg <= VM_REG_GUEST_GS,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2829

KASSERT(length == 1 || length == 2 || length == 4 || length == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2831

KASSERT((prot & ~(PROT_READ | PROT_WRITE)) == 0,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2836

KASSERT(addrsize == 4 || addrsize == 8, ("%s: invalid address "

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2840

KASSERT(addrsize == 2 || addrsize == 4, ("%s: invalid address "

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2857

KASSERT(SEG_DESC_PRESENT(desc->access),

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2864

KASSERT(type >= 16 && type <= 31, ("segment %d has invalid "

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

2933

KASSERT(inst_length <= VIE_INST_SIZE,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

3790

KASSERT(n == 1 || n == 2 || n == 4,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

3830

KASSERT(n == 2 || n == 4 || n == 8, ("invalid moffset bytes: %d", n));

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

663

KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

700

KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

736

KASSERT(opsize == 2 || opsize == 4 || opsize == 8,

usr/src/uts/intel/io/vmm/vmm_instruction_emul.c

771

KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,

usr/src/uts/intel/io/vmm/x86.c

75

KASSERT(cap > 0 && cap < VCC_LAST, ("%s: invalid vm_cpu_capability %d",