/* * Return information about the state and running time of a VCPU. * @extra_arg == pointer to vcpu_runstate_info structure. */