__vcpu_elr_el1 125 arch/arm64/include/asm/kvm_emulate.h return *__vcpu_elr_el1(vcpu); __vcpu_elr_el1 133 arch/arm64/include/asm/kvm_emulate.h *__vcpu_elr_el1(vcpu) = v;