vcpu_get_stat
TEST_ASSERT(vcpu_get_stat(vcpu, irq_injections) >= 2,
vcpu_get_stat(vcpu, irq_injections));
TEST_ASSERT(data->hlt_count >= vcpu_get_stat(params[0].vcpu, halt_exits),
data->hlt_count, vcpu_get_stat(params[0].vcpu, halt_exits));
TEST_ASSERT_EQ(data->hlt_count, vcpu_get_stat(params[0].vcpu, halt_exits));