|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [PATCH v2 4/5] xen/arm: mm: Move domain_{,un}map_* helpers in a separate file
Hi, On 21/07/2022 11:07, Jan Beulich wrote: On 20.07.2022 20:44, Julien Grall wrote: This was a mistake when splitting/renaming the config. I will drop it. Cheers, -- Julien Grall
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |