It's a straight vcpu_create(), so the alloc_dom0_vcpu0() call is
irrelevant.
Not a functional change.
Signed-off-by: Alejandro Vallejo <alejandro.garciavall...@amd.com>
---
xen/arch/arm/domain_build.c | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c
index 04d3dca38a..ed668bd61c 100644
--- a/xen/arch/arm/domain_build.c
+++ b/xen/arch/arm/domain_build.c
@@ -115,11 +115,6 @@ unsigned int __init dom0_max_vcpus(void)
return opt_dom0_max_vcpus;
}
-struct vcpu *__init alloc_dom0_vcpu0(struct domain *dom0)
-{
- return vcpu_create(dom0, 0);
-}
-
/*
* Insert the given pages into a memory bank, banks are ordered by address.
*
@@ -2085,7 +2080,7 @@ void __init create_dom0(void)
if ( llc_coloring_enabled && (rc = dom0_set_llc_colors(dom0)) )
panic("Error initializing LLC coloring for domain 0 (rc = %d)\n", rc);
- if ( alloc_dom0_vcpu0(dom0) == NULL )
+ if ( vcpu_create(dom0, 0) == NULL )
panic("Error creating domain 0 vcpu0\n");
rc = construct_dom0(dom0);
--
2.43.0
