On 15.01.2026 01:15, Stefano Stabellini wrote: > On Wed, 14 Jan 2026, Oleksii Moisieiev wrote: >> @@ -827,7 +830,37 @@ long do_domctl(XEN_GUEST_HANDLE_PARAM(xen_domctl_t) >> u_domctl) >> case XEN_DOMCTL_test_assign_device: >> case XEN_DOMCTL_deassign_device: >> case XEN_DOMCTL_get_device_group: >> + if ( IS_ENABLED(CONFIG_ARM) ) > > I skipped the last round of review so if this is addressing a comment > from Jan I am OK with this as is. > > However, I would check directly on CONFIG_ARM_SCI.
+1 Jan
