amd64/vmm/vmm_instruction_emul.c

53 #define	KASSERT(exp,msg)	assert((exp))
389 	KASSERT(opsize == 1 || opsize == 2 || opsize == 4 || opsize == 8,
615 	KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));
618 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
621 	KASSERT(error == 0, ("%s: error %d getting segment descriptor %d",
625 	KASSERT(error == 0, ("%s: error %d getting register %d", __func__,
687 		KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
798 	KASSERT(error == 0, ("%s: error %d getting rsi", __func__, error));
801 	KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));
804 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
816 	KASSERT(error == 0, ("%s: error %d updating rsi", __func__, error));
820 	KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));
826 		KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
835 	KASSERT(error == 0 || error == EFAULT, ("%s: unexpected error %d",
854 		KASSERT(!error, ("%s: error %d getting rcx", __func__, error));
865 	KASSERT(!error, ("%s: error %d getting rax", __func__, error));
872 	KASSERT(error == 0, ("%s: error %d getting rdi", __func__, error));
875 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
884 	KASSERT(error == 0, ("%s: error %d updating rdi", __func__, error));
890 		KASSERT(!error, ("%s: error %d updating rcx", __func__, error));
1240 		KASSERT(error == 0, ("%s: error %d getting SS descriptor",
1249 	KASSERT(error == 0, ("%s: error %d getting cr0", __func__, error));
1252 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
1255 	KASSERT(error == 0, ("%s: error %d getting rsp", __func__, error));
1297 		KASSERT(error == 0, ("error %d updating rsp", error));
1389 	KASSERT(error == 0, ("%s: error %d getting rflags", __func__, error));
1409 	KASSERT(error == 0, ("%s: error %d updating rflags", __func__, error));
1485 	KASSERT(size == 1 || size == 2 || size == 4 || size == 8,
1487 	KASSERT(cpl >= 0 && cpl <= 3, ("%s: invalid cpl %d", __func__, cpl));
1517 	KASSERT(size == 1 || size == 2 || size == 4 || size == 8,
1530 	KASSERT(seg >= VM_REG_GUEST_ES && seg <= VM_REG_GUEST_GS,
1532 	KASSERT(length == 1 || length == 2 || length == 4 || length == 8,
1534 	KASSERT((prot & ~(PROT_READ | PROT_WRITE)) == 0,
1539 		KASSERT(addrsize == 4 || addrsize == 8, ("%s: invalid address "
1543 		KASSERT(addrsize == 2 || addrsize == 4, ("%s: invalid address "
1560 		KASSERT(SEG_DESC_PRESENT(desc->access),
1567 		KASSERT(type >= 16 && type <= 31, ("segment %d has invalid "
1636 	KASSERT(inst_length >= 0 && inst_length <= VIE_INST_SIZE,
1865 	KASSERT(retval == 0 || retval == EFAULT, ("%s: unexpected retval %d",
2265 	KASSERT(n == 1 || n == 2 || n == 4,
2305 	KASSERT(n == 2 || n == 4 || n == 8, ("invalid moffset bytes: %d", n));