Lines Matching refs:stolen
738 unsigned long stolen) in __kvmppc_create_dtl_entry() argument
750 dt->enqueue_to_dispatch_time = cpu_to_be32(stolen); in __kvmppc_create_dtl_entry()
773 unsigned long stolen; in kvmppc_update_vpa_dispatch() local
785 stolen = core_stolen - vcpu->arch.stolen_logged; in kvmppc_update_vpa_dispatch()
788 stolen += vcpu->arch.busy_stolen; in kvmppc_update_vpa_dispatch()
792 vpa->enqueue_dispatch_tb = cpu_to_be64(be64_to_cpu(vpa->enqueue_dispatch_tb) + stolen); in kvmppc_update_vpa_dispatch()
794 __kvmppc_create_dtl_entry(vcpu, vpa, vc->pcpu, now + vc->tb_offset, stolen); in kvmppc_update_vpa_dispatch()
804 unsigned long stolen; in kvmppc_update_vpa_dispatch_p9() local
811 stolen = vc->stolen_tb; in kvmppc_update_vpa_dispatch_p9()
812 stolen_delta = stolen - vcpu->arch.stolen_logged; in kvmppc_update_vpa_dispatch_p9()
813 vcpu->arch.stolen_logged = stolen; in kvmppc_update_vpa_dispatch_p9()
815 vpa->enqueue_dispatch_tb = cpu_to_be64(stolen); in kvmppc_update_vpa_dispatch_p9()