Re: [RFC 16/38] x86/boot: move and rename sched_setup_dom0_vcpus

[Daniel P. Smith]

On 4/20/25 05:36, Jürgen Groß wrote:

On 20.04.25 00:07, Daniel P. Smith wrote:

Relocated the function sched_setup_dom0_vcpus(), which was protected by an ifdef CONFIG_X86, from common/sched to the hyperlaunch domain builder. Rename

it to alloc_dom_vcpus() to better reflect the purpose of the function.

I'd be in favor naming it domain_vcpus_create().

Yah, that's a much better name.

v/r,
dps