Searched refs:target_pc (Results 1 – 1 of 1) sorted by relevance
76 phys_addr_t target_pc; in kvm_psci_vcpu_on() local97 target_pc = vcpu_get_reg(source_vcpu, 2); in kvm_psci_vcpu_on()103 if (vcpu_mode_is_32bit(vcpu) && (target_pc & 1)) { in kvm_psci_vcpu_on()104 target_pc &= ~((phys_addr_t) 1); in kvm_psci_vcpu_on()112 *vcpu_pc(vcpu) = target_pc; in kvm_psci_vcpu_on()