On 2024-11-25 12:52, Jason Andryuk wrote:
On 2024-11-23 13:20, Daniel P. Smith wrote:
+void __init builder_init(struct boot_info *bi)
+{
+ if ( IS_ENABLED(CONFIG_DOMAIN_BUILDER) )
... then this extra level of indent isn't necessary (with an empty
static inline builder_init()).
I guess this way, this small part is compiled even when
CONFIG_DOMAIN_BUILDER is disabled. But it's only a piece, so I'm not
sure if it's worth it.
Later in the series, I see more code is added here for non-Hyperlaunch.
Disregard this comment.
Thanks,
Jason
