On Thu, Jul 17, 2025 at 12:27:48PM +0200, Alejandro Vallejo wrote:
> Hi,
>
> Sorry I'm so late to this. I have a few suggestions to improve the ergonomics
> of domid handling in dom0less/Hyperlaunch.
Thanks for the feedback!
>
> On Mon Jun 23, 2025 at 8:28 PM CEST, dmkhn wrote:
> > From: Denis
Hi,
Sorry I'm so late to this. I have a few suggestions to improve the ergonomics
of domid handling in dom0less/Hyperlaunch.
On Mon Jun 23, 2025 at 8:28 PM CEST, dmkhn wrote:
> From: Denis Mukhin
>
> Currently, there are two different domain ID allocation implementations:
>
> 1) Sequential IDs
On 23.06.2025 20:28, dm...@proton.me wrote:
> @@ -2433,6 +2443,71 @@ void thaw_domains(void)
> rcu_read_unlock(&domlist_read_lock);
> }
>
> +domid_t domid_alloc(domid_t domid)
> +{
> +static domid_t domid_last;
> +
> +spin_lock(&domid_lock);
> +
> +/* Exact match. */
> +if (
