From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alex =?utf-8?Q?Benn=C3=A9e?= Subject: Re: [PATCH] KVM: arm64: fix misleading comments in save/restore Date: Thu, 04 Jun 2015 11:46:28 +0100 Message-ID: <87bngvbvjv.fsf@linaro.org> References: <1432806186-27993-1-git-send-email-alex.bennee@linaro.org> <20150604093436.GC7657@cbox> <55702205.7000908@arm.com> <87eglrbwr2.fsf@linaro.org> <557029A9.1010303@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: QUOTED-PRINTABLE Cc: Christoffer Dall , "kvm\@vger.kernel.org" , "linux-arm-kernel\@lists.infradead.org" , "kvmarm\@lists.cs.columbia.edu" , Gleb Natapov , Paolo Bonzini , Catalin Marinas , Will Deacon , open list To: Marc Zyngier Return-path: In-reply-to: <557029A9.1010303@arm.com> Sender: linux-kernel-owner@vger.kernel.org List-Id: kvm.vger.kernel.org Marc Zyngier writes: > On 04/06/15 11:20, Alex Benn=C3=A9e wrote: >>=20 >> Marc Zyngier writes: >>=20 >>> On 04/06/15 10:34, Christoffer Dall wrote: >>>> On Thu, May 28, 2015 at 10:43:06AM +0100, Alex Benn=C3=A9e wrote: >>>>> The elr_el2 and spsr_el2 registers in fact contain the processor = state >>>>> before entry into the hypervisor code. >>>> >>>> be careful with your use of the hypervisor, in the KVM design the >>>> hypervisor is split across EL1 and EL2. >>=20 >> "before entry into EL2." >>=20 >>>> >>>>> In the case of guest state it >>>>> could be in either el0 or el1. >>>> >>>> true >>>> >>>>> >>>>> Signed-off-by: Alex Benn=C3=A9e >>>>> --- >>>>> arch/arm64/kvm/hyp.S | 8 ++++---- >>>>> 1 file changed, 4 insertions(+), 4 deletions(-) >>>>> >>>>> diff --git a/arch/arm64/kvm/hyp.S b/arch/arm64/kvm/hyp.S >>>>> index d755922..1940a4c 100644 >>>>> --- a/arch/arm64/kvm/hyp.S >>>>> +++ b/arch/arm64/kvm/hyp.S >>>>> @@ -50,8 +50,8 @@ >>>>> stp x29, lr, [x3, #80] >>>>> =20 >>>>> mrs x19, sp_el0 >>>>> - mrs x20, elr_el2 // EL1 PC >>>>> - mrs x21, spsr_el2 // EL1 pstate >>>>> + mrs x20, elr_el2 // PC before hyp entry >>>>> + mrs x21, spsr_el2 // pstate before hyp entry >>>>> =20 >>>>> stp x19, x20, [x3, #96] >>>>> str x21, [x3, #112] >>>>> @@ -82,8 +82,8 @@ >>>>> ldr x21, [x3, #16] >>>>> =20 >>>>> msr sp_el0, x19 >>>>> - msr elr_el2, x20 // EL1 PC >>>>> - msr spsr_el2, x21 // EL1 pstate >>>>> + msr elr_el2, x20 // PC to restore >>>>> + msr spsr_el2, x21 // pstate to restore >>>> >>>> I don't feel like 'to restore' is much more meaningful here. >>>> >>>> I would actually vote for removin the comments all together, since= one >>>> should really understand the code as opposed to the comments when >>>> reading this kind of stuff. >>>> >>>> Meh, I'm not sure. Your patch is definitely better than doing not= hing. >>>> >>>> Marc? >>> >>> While I definitely agree that people should pay more attention to t= he >>> code rather than blindly trusting comments, I still think there is = some >>> value in disambiguating the exception entry/return, because this bi= t of >>> code assumes some intimate knowledge of the ARMv8 exception model. >>> >>> As for the comments themselves, I'd rather have some wording that >>> clearly indicate that we're dealing with guest information, i.e: >>> >>> mrs x20, elr_el2 // Guest PC >>> mrs x21, spsr_el2 // Guest pstate >>> >>> (and the same for the exception return). The "before hyp entry" and= "to >>> restore" are not really useful (all the registers we are >>> saving/restoring fall into these categories). What I wanted to conv= ey >>> here was that despite using an EL2 register, we are dealing with gu= est >>> registers. >>=20 >> Which would be great it we were. However the code is used to >> save/restore the host context as well as the guest context hence my >> weasely words.=20 > > Gahhh. You're right. I'm spending too much time on the VHE code these > days. Guess I'll stick to the weasel words then. Can you respin it wi= th > Christoffer's comment addressed? Sure. Do you want it separated from the guest debug series or will you be happy to take it with it when ready? > > Thanks, > > M. --=20 Alex Benn=C3=A9e