Re: [PATCH 3/4] x86/paging: vCPU host mode is always set

2024-04-24 Thread Roger Pau Monné
On Wed, Apr 24, 2024 at 01:41:25PM +0200, Jan Beulich wrote: > On 24.04.2024 11:34, Roger Pau Monné wrote: > > On Tue, Apr 23, 2024 at 04:32:32PM +0200, Jan Beulich wrote: > >> ... thanks to paging_vcpu_init() being part of vCPU creation. Further > >> if paging is enabled on a domain, it's also

Re: [PATCH 3/4] x86/paging: vCPU host mode is always set

2024-04-24 Thread Jan Beulich
On 24.04.2024 11:34, Roger Pau Monné wrote: > On Tue, Apr 23, 2024 at 04:32:32PM +0200, Jan Beulich wrote: >> ... thanks to paging_vcpu_init() being part of vCPU creation. Further >> if paging is enabled on a domain, it's also guaranteed to be either HAP >> or shadow. Drop respective unnecessary

Re: [PATCH 3/4] x86/paging: vCPU host mode is always set

2024-04-24 Thread Roger Pau Monné
On Tue, Apr 23, 2024 at 04:32:32PM +0200, Jan Beulich wrote: > ... thanks to paging_vcpu_init() being part of vCPU creation. Further > if paging is enabled on a domain, it's also guaranteed to be either HAP > or shadow. Drop respective unnecessary (parts of) conditionals. Is there some commit

[PATCH 3/4] x86/paging: vCPU host mode is always set

2024-04-23 Thread Jan Beulich
... thanks to paging_vcpu_init() being part of vCPU creation. Further if paging is enabled on a domain, it's also guaranteed to be either HAP or shadow. Drop respective unnecessary (parts of) conditionals. Signed-off-by: Jan Beulich --- a/xen/arch/x86/mm/paging.c +++ b/xen/arch/x86/mm/paging.c