On 12/2/24 07:00, Jan Beulich wrote:
On 26.11.2024 00:45, Jason Andryuk wrote:
On 2024-11-23 13:20, Daniel P. Smith wrote:
@@ -186,6 +209,12 @@ static int __init process_domain_node(
return -EFAULT;
}
+ if ( bd->domid == DOMID_INVALID )
+ bd->domid = get_initial_domain_id();
+ else
+ if ( bd->domid != get_initial_domain_id() )
single line "else if"?
Yes.
Agreed.
+ printk(XENLOG_WARNING "WARN: unsuported booting not using initial
domid\n");
"unsupported"
Maybe "Booting without initial domid not supported"?
Plus the line then wants splitting after XENLOG_WARNING.
Okay.
v/r,
dps
