From: Peng Fan
On AArch64 SoCs, some IPs may only have the capability to access
32bits address space. The physical memory assigned for Dom0 maybe
not in 4GB address space, then the IPs will not work properly.
So need to allocate memory under 4GB for Dom0.
There is no restriction that how much lo
From: Peng Fan
Move vpidr from arch_domain to arch_vcpu.
In order to support Big.Little, Big CPUs and Little CPUs are
assigned to different cpupools.
when a new domain is to be created with cpupool specificed, the domain
is first assigned to cpupool0 and then the domain moved from cpupool0
to t
From: Peng Fan
This patchset is to support XEN run on big.little SoC.
The idea of the patch is from
"https://lists.xenproject.org/archives/html/xen-devel/2016-05/msg00465.html";
There are some changes to cpupool and add x86 stub functions to avoid build
break. Sending The RFC patchset out is to
From: Peng Fan
When migrating domain between different cpupools, need to check
whether the domain is compatible with the cpupool.
Signed-off-by: Peng Fan
Cc: Stefano Stabellini
Cc: Julien Grall
---
xen/arch/arm/cpupool.c | 17 -
1 file changed, 16 insertions(+), 1 deletion(-)
From: Peng Fan
Setting opt_dom0_max_vcpus according to cpu_valid in cpupool0.
Signed-off-by: Peng Fan
Cc: Stefano Stabellini
Cc: Julien Grall
---
xen/arch/arm/domain_build.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domai
From: Peng Fan
Introduce arch_cpupool_create, arch_cpupool_cpu_add,
and arch_domain_cpupool_compatible.
To X86, nothing to do, just add an empty stub functions.
To ARM, arch_cpupool_create initialize midr with value -1;
arch_cpupool_cpu_add, if there is cpu in the cpupool or the cpu
is the firs
From: Peng Fan
Intrdouce cpupool_arch_info.
To ARM, add a 'midr' entry to hold the MIDR info of the cpupool.
Signed-off-by: Peng Fan
Cc: Stefano Stabellini
Cc: Julien Grall
Cc: Jan Beulich
Cc: Andrew Cooper
---
xen/include/asm-arm/cpupool.h | 16
xen/include/asm-x86/cpupoo
