vcore_stolen_time
vcpu->arch.busy_stolen += vcore_stolen_time(vc, now) -
vcpu->arch.stolen_logged = vcore_stolen_time(vc, mftb());
core_stolen = vcore_stolen_time(vc, now);