ex_str
const char *ex_str(int vector);
ex_str(vector));
hcall->control, ex_str(vector));
hcall->control, ex_str(vector));
msr->write ? "WR" : "RD", msr->idx, ex_str(vector));
msr->write ? "WR" : "RD", msr->idx, ex_str(vector));
testcase, ex_str(vector)); \
testcase, ex_str(vector)); \
__GUEST_ASSERT(!vec, "Unexpected %s on RDMSR(0x%x)", ex_str(vec), msr);
ex_str(vec), msr, val);
msr->index, ex_str(vec));
msr->index, msr->write_val, ex_str(vec));
msr->index, msr->rsvd_val, ex_str(vec));
expect_gp ? "#GP" : "no fault", msr, ex_str(vector)) \
val, ex_str(vector));
ex_str(vector));
supported_xcr0, ex_str(vector));
BIT_ULL(i), supported_xcr0, ex_str(vector));