On 08.10.2021 12:25, Oleksandr wrote: > Just a quick question. What do you think can XEN_DOMCTL_getdomaininfo be > reused to retrieve gpaddr_bits? I don't see why not at the moment, but > maybe there are some implications/concerns which are invisible to me. > > I see that arch_get_domain_info() is present, so the field will be > common, and each arch will write a value it considers > appropriate. This could be a good compromise to not add an extra domctl > and to not alter domain_create.
Technically I think it could be reused. What I'm less certain of is whether the specific piece of information is a good fit there. Jan
