Searched refs:target_pc (Results 1 – 1 of 1) sorted by relevance
112 phys_addr_t target_pc; in kvm_psci_vcpu_on() local133 target_pc = smccc_get_arg2(source_vcpu); in kvm_psci_vcpu_on()139 if (vcpu_mode_is_32bit(vcpu) && (target_pc & 1)) { in kvm_psci_vcpu_on()140 target_pc &= ~((phys_addr_t) 1); in kvm_psci_vcpu_on()148 *vcpu_pc(vcpu) = target_pc; in kvm_psci_vcpu_on()
