amd64/vmm/vmm_instruction_emul.c

53 #define	KASSERT(exp,msg)	assert((exp))
410 	KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,
445 	KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,
480 	KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,
706 	KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));
709 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
712 	KASSERT(error == 0, ("%s: error %d getting segment descriptor %d",
716 	KASSERT(error == 0, ("%s: error %d getting register %d", __func__,
778 		KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
889 	KASSERT(error == 0, ("%s: error %d getting rsi", __func__, error));
892 	KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));
895 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
907 	KASSERT(error == 0, ("%s: error %d updating rsi", __func__, error));
911 	KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));
917 		KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
926 	KASSERT(error == 0 || error == EFAULT, ("%s: unexpected error %d",
945 		KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
956 	KASSERT(!error, ("%s: error %d getting rax", __func__, error));
963 	KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));
966 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
975 	KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));
981 		KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
1462 		KASSERT(error == 0, ("%s: error %d getting SS descriptor",
1471 	KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));
1474 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
1477 	KASSERT(error == 0, ("%s: error %d getting rsp", __func__, error));
1519 		KASSERT(error == 0, ("error %d updating rsp", error));
1611 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
1631 	KASSERT(error == 0, ("%s: error %d updating rflags", __func__, error));
1750 	KASSERT(size == 1 || size == 2 || size == 4 || size == 8,
1752 	KASSERT(cpl >= 0 && cpl <= 3, ("%s: invalid cpl %d", __func__, cpl));
1782 	KASSERT(size == 1 || size == 2 || size == 4 || size == 8,
1795 	KASSERT(seg >= VM_REG_GUEST_ES && seg <= VM_REG_GUEST_GS,
1797 	KASSERT(length == 1 || length == 2 || length == 4 || length == 8,
1799 	KASSERT((prot & ~(PROT_READ | PROT_WRITE)) == 0,
1804 		KASSERT(addrsize == 4 || addrsize == 8, ("%s: invalid address "
1808 		KASSERT(addrsize == 2 || addrsize == 4, ("%s: invalid address "
1825 		KASSERT(SEG_DESC_PRESENT(desc->access),
1832 		KASSERT(type >= 16 && type <= 31, ("segment %d has invalid "
1901 	KASSERT(inst_length >= 0 && inst_length <= VIE_INST_SIZE,
2130 	KASSERT(retval == 0 || retval == EFAULT, ("%s: unexpected retval %d",
2530 	KASSERT(n == 1 || n == 2 || n == 4,
2570 	KASSERT(n == 2 || n == 4 || n == 8, ("invalid moffset bytes: %d", n));