From: Oleksii Kurochko <oleksii.kurochko@gmail.com>
To: Jan Beulich <jbeulich@suse.com>
Cc: "Alistair Francis" <alistair.francis@wdc.com>,
"Bob Eshleman" <bobbyeshleman@gmail.com>,
"Connor Davis" <connojdavis@gmail.com>,
"Andrew Cooper" <andrew.cooper3@citrix.com>,
"Anthony PERARD" <anthony.perard@vates.tech>,
"Michal Orzel" <michal.orzel@amd.com>,
"Julien Grall" <julien@xen.org>,
"Roger Pau Monné" <roger.pau@citrix.com>,
"Stefano Stabellini" <sstabellini@kernel.org>,
xen-devel@lists.xenproject.org
Subject: Re: [PATCH v1 01/15] xen/riscv: introduce struct arch_vcpu
Date: Tue, 6 Jan 2026 17:00:16 +0100 [thread overview]
Message-ID: <5daf24da-0600-4afe-8a20-9f938e2dadaa@gmail.com> (raw)
In-Reply-To: <e8a1fc9c-6715-4ac7-acee-754ec29283fe@suse.com>
On 1/6/26 4:33 PM, Jan Beulich wrote:
> On 06.01.2026 16:05, Oleksii Kurochko wrote:
>> On 1/6/26 3:26 PM, Jan Beulich wrote:
>>> On 06.01.2026 15:19, Oleksii Kurochko wrote:
>>>> On 1/5/26 5:58 PM, Jan Beulich wrote:
>>>>> On 24.12.2025 18:03, Oleksii Kurochko wrote:
>>>>>> Introduce structure with VCPU's registers which describes its state.
>>>>>>
>>>>>> Signed-off-by: Oleksii Kurochko <oleksii.kurochko@gmail.com>
>>>>> Since none of this is being used for the time being, I think the description
>>>>> wants to be a little less terse. Coming from the x86 (rather then the Arm)
>>>>> side, I find the arrangements irritating. And even when comparing to Arm, ...
>>>>>
>>>>>> --- a/xen/arch/riscv/include/asm/domain.h
>>>>>> +++ b/xen/arch/riscv/include/asm/domain.h
>>>>>> @@ -22,9 +22,63 @@ struct hvm_domain
>>>>>> struct arch_vcpu_io {
>>>>>> };
>>>>>>
>>>>>> -struct arch_vcpu {
>>>>>> +struct arch_vcpu
>>>>>> +{
>>>>>> struct vcpu_vmid vmid;
>>>>>> -};
>>>>>> +
>>>>>> + /* Xen's state: Callee-saved registers and tp, gp, ra */
>>>>> ... I don't think the following structure describes "Xen's state". On Arm
>>>>> it's guest controlled register values which are being saved afaict. I
>>>>> would then expect the same to become the case for RISC-V.
>>>> I think this is not fully correct, because guest-controlled registers on
>>>> Arm are allocated on the stack [1][2].
>>> I'll admit that I should have said "possibly guest-controlled". Callee-
>>> saved registers may or may not be used in functions, and if one isn't
>>> used throughout the call-stack reaching __context_switch(), it would
>>> still hold whatever the guest had put there.
>> But the guest doesn't put there nothing, only Xen does that and it is a reason
>> why I am trying to call it Xen state. Guest works only with what is stored in
>> struct cpu_info->guest_cpu_user_regs.* ...
>>
>>>> Regarding|xen_saved_context| (or|saved_context| on Arm, which I used as a base),
>>>> I think|xen_saved_context| is a slightly better name. Looking at how the
>>>> |saved_context| structure is used on Arm [3], it can be concluded that
>>>> |__context_switch()| switches only Xen’s internal context. What actually happens is
>>>> that|__context_switch()| is called while running on the previous vCPU’s stack
>>>> and returns on the next vCPU’s stack. Therefore, it is necessary to have
>>>> the correct register values stored in the|saved_context| structure in order
>>>> to continue Xen’s execution when it later returns to the previous stack.
>>> For this and ...
>>>
>>>> Probably I need to introduce|__context_switch()| in this patch series for RISC-V
>>>> now; I hope this will clarify things better. At the moment, it looks like [4].
>>>>
>>>> [1] https://elixir.bootlin.com/xen/v4.21.0/source/xen/arch/arm/include/asm/arm64/processor.h#L14
>>>> [2] https://elixir.bootlin.com/xen/v4.21.0/source/xen/arch/arm/domain.c#L547
>>>>
>>>> [3] https://elixir.bootlin.com/xen/v4.21.0/source/xen/arch/arm/arm64/entry.S#L650
>>>>
>>>> [4] https://gitlab.com/xen-project/people/olkur/xen/-/blob/riscv-next-upstreaming/xen/arch/riscv/entry.S?ref_type=heads#L153
>>>>
>>>>>> + struct
>>>>>> + {
>>>>>> + register_t s0;
>>>>>> + register_t s1;
>>>>>> + register_t s2;
>>>>>> + register_t s3;
>>>>>> + register_t s4;
>>>>>> + register_t s5;
>>>>>> + register_t s6;
>>>>>> + register_t s7;
>>>>>> + register_t s8;
>>>>>> + register_t s9;
>>>>>> + register_t s10;
>>>>>> + register_t s11;
>>>>>> +
>>>>>> + register_t sp;
>>>>>> + register_t gp;
>>>>>> +
>>>>>> + /* ra is used to jump to guest when creating new vcpu */
>>>>>> + register_t ra;
>>>>>> + } xen_saved_context;
>>>>> The xen_ prefix here also doesn't exist in Arm code.
>>>> I think it should be added for Arm too. I can send a patch.
>>> ... this, to reword my comment: What value does the xen_ prefix add?
>> ... because guest doesn't access saved_context and as I mentioned above
>> guest has "access" only to struct cpu_info->guest_cpu_user_regs.*.
> The guest has no access to anything in the hypervisor.
Of course, the guest doesn't have access. By "access" I meant guest context
stored in cpu_info->guest_cpu_user_regs.*.
> That said, seeing
> that Andrew had asked for this, so be it then (albeit I remain unconvinced).
I will add some extra comments about xen_saved_context to make things more
clear.
~ Oleksii
next prev parent reply other threads:[~2026-01-06 16:00 UTC|newest]
Thread overview: 93+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-12-24 17:03 [PATCH v1 00/15] xen/riscv: introduce vtimer related things Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 01/15] xen/riscv: introduce struct arch_vcpu Oleksii Kurochko
2026-01-05 16:58 ` Jan Beulich
2026-01-06 14:19 ` Oleksii Kurochko
2026-01-06 14:26 ` Jan Beulich
2026-01-06 14:59 ` Andrew Cooper
2026-01-06 15:05 ` Oleksii Kurochko
2026-01-06 15:33 ` Jan Beulich
2026-01-06 16:00 ` Oleksii Kurochko [this message]
2025-12-24 17:03 ` [PATCH v1 02/15] xen/riscv: implement arch_vcpu_{create,destroy}() Oleksii Kurochko
2026-01-06 15:56 ` Jan Beulich
2026-01-12 10:19 ` Oleksii Kurochko
2026-01-12 10:42 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 03/15] xen/riscv: implement vcpu_csr_init() Oleksii Kurochko
2026-01-07 8:46 ` Jan Beulich
2026-01-12 12:59 ` Oleksii Kurochko
2026-01-12 14:28 ` Jan Beulich
2026-01-12 15:46 ` Oleksii Kurochko
2026-01-12 15:54 ` Jan Beulich
2026-01-12 16:39 ` Oleksii Kurochko
2026-01-12 16:42 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 04/15] xen/riscv: introduce vtimer Oleksii Kurochko
2026-01-07 15:21 ` Jan Beulich
2026-01-12 16:28 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 05/15] xen/riscv: implement stub for smp_send_event_check_mask() Oleksii Kurochko
2026-01-07 15:47 ` Jan Beulich
2026-01-12 16:53 ` Oleksii Kurochko
2026-01-12 17:05 ` Jan Beulich
2026-01-13 9:58 ` Oleksii Kurochko
2026-01-13 10:22 ` Jan Beulich
2026-01-13 11:39 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 06/15] xen/riscv: introduce vcpu_kick() implementation Oleksii Kurochko
2026-01-07 16:04 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 07/15] xen/riscv: introduce tracking of pending vCPU interrupts, part 1 Oleksii Kurochko
2026-01-07 16:28 ` Jan Beulich
2026-01-13 12:51 ` Oleksii Kurochko
2026-01-13 13:54 ` Jan Beulich
2026-01-14 15:39 ` Oleksii Kurochko
2026-01-14 15:56 ` Jan Beulich
2026-01-15 9:14 ` Oleksii Kurochko
2026-01-15 9:52 ` Jan Beulich
2026-01-15 10:55 ` Oleksii Kurochko
2026-01-15 10:59 ` Jan Beulich
2026-01-15 11:46 ` Oleksii Kurochko
2026-01-15 12:09 ` Jan Beulich
2026-01-15 12:25 ` Oleksii Kurochko
2026-01-15 12:30 ` Jan Beulich
2026-01-16 14:25 ` Oleksii Kurochko
2026-01-16 14:42 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 08/15] xen/riscv: introduce vtimer_set_timer() and vtimer_expired() Oleksii Kurochko
2026-01-08 10:28 ` Jan Beulich
2026-01-13 14:44 ` Oleksii Kurochko
2026-01-13 15:12 ` Jan Beulich
2026-01-14 12:27 ` Oleksii Kurochko
2026-01-14 14:57 ` Jan Beulich
2026-01-14 15:59 ` Oleksii Kurochko
2026-01-15 7:52 ` Jan Beulich
2026-01-15 9:30 ` Oleksii Kurochko
2026-01-15 9:55 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 09/15] xen/riscv: add vtimer_{save,restore}() Oleksii Kurochko
2026-01-08 10:43 ` Jan Beulich
2026-01-13 15:32 ` Oleksii Kurochko
2026-01-14 9:00 ` Jan Beulich
2025-12-24 17:03 ` [PATCH v1 10/15] xen/riscv: implement SBI legacy SET_TIMER support for guests Oleksii Kurochko
2026-01-08 10:45 ` Jan Beulich
2026-01-13 15:41 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 11/15] xen/riscv: introduce ns_to_ticks() Oleksii Kurochko
2026-01-12 14:59 ` [Arm] " Jan Beulich
2026-01-21 0:23 ` Volodymyr Babchuk
2026-01-21 1:19 ` Stefano Stabellini
2025-12-24 17:03 ` [PATCH v1 12/15] xen/riscv: introduce sbi_set_timer() Oleksii Kurochko
2026-01-12 15:12 ` Jan Beulich
2026-01-13 16:33 ` Oleksii Kurochko
2026-01-14 9:07 ` Jan Beulich
2026-01-14 9:59 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 13/15] xen/riscv: implement reprogram_timer() using SBI Oleksii Kurochko
2026-01-12 15:24 ` Jan Beulich
2026-01-13 16:50 ` Oleksii Kurochko
2026-01-14 9:13 ` Jan Beulich
2026-01-14 9:41 ` Oleksii Kurochko
2026-01-14 9:53 ` Jan Beulich
2026-01-14 10:33 ` Oleksii Kurochko
2026-01-14 11:17 ` Jan Beulich
2026-01-14 12:41 ` Oleksii Kurochko
2026-01-14 15:04 ` Jan Beulich
2026-01-14 15:53 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 14/15] xen/riscv: handle hypervisor timer interrupts Oleksii Kurochko
2026-01-12 16:15 ` Jan Beulich
2026-01-13 16:53 ` Oleksii Kurochko
2025-12-24 17:03 ` [PATCH v1 15/15] xen/riscv: init tasklet subsystem Oleksii Kurochko
2026-01-12 16:20 ` Jan Beulich
2026-01-13 17:03 ` Oleksii Kurochko
2026-01-14 9:15 ` Jan Beulich
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5daf24da-0600-4afe-8a20-9f938e2dadaa@gmail.com \
--to=oleksii.kurochko@gmail.com \
--cc=alistair.francis@wdc.com \
--cc=andrew.cooper3@citrix.com \
--cc=anthony.perard@vates.tech \
--cc=bobbyeshleman@gmail.com \
--cc=connojdavis@gmail.com \
--cc=jbeulich@suse.com \
--cc=julien@xen.org \
--cc=michal.orzel@amd.com \
--cc=roger.pau@citrix.com \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.