Hi Andrew, On 18/06/2020 10:36, Andrew Scull wrote: > get_vcpu_ptr is an assembly accessor for the percpu value > kvm_host_data->host_ctxt.__hyp_running_vcpu. kern_hyp_va only applies to > nVHE however __hyp_running_vcpu is always assigned a pointer that has > already had kern_hyp_va applied in __kvm_vcpu_run_nvhe. So it is! > kern_hyp_va is currently idempotent as it just masks and inserts the > tag, but this could change in future and the second application is > unnecessary. Reviewed-by: James Morse <james.morse@xxxxxxx> Thanks, James _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm