Dan Hecht wrote:

Available time is defined to be (real_time - stolen_time).  i.e. time
in which the vcpu is either running or not ready to run [because it is
halted, and nothing is pending]).

Hm, the Xen definition of stolen time is "time VCPU spent in runnable
(vs running) or offline state".  If the VCPU was blocked anyway, then
its never considered to be stolen.  Offline means the VCPU was paused by
the administrator, or during suspend/resume.

    J