VIE_INST_SIZE
uint8_t inst[VIE_INST_SIZE]; /* instruction bytes */
VIE_INST_SIZE, vie, &fault);
KASSERT(inst_length >= 0 && inst_length <= VIE_INST_SIZE,
if (inst_length > VIE_INST_SIZE)
vme->rip + vme->u.inout_str.cs_base, VIE_INST_SIZE, &vie, &fault);