[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Return type of clean_and_invalidate_dcache_va_range
- To: Julien Grall <julien@xxxxxxx>
- From: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>
- Date: Thu, 15 Feb 2024 16:23:16 +0100
- Cc: Jan Beulich <jbeulich@xxxxxxxx>, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Xen Devel <xen-devel@xxxxxxxxxxxxxxxxxxxx>, Consulting <consulting@xxxxxxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Andrew Cooper3 <andrew.cooper3@xxxxxxxxxx>, Roger Pau <roger.pau@xxxxxxxxxx>, George Dunlap <george.dunlap@xxxxxxxxxx>, Wei Liu <wl@xxxxxxx>
- Delivery-date: Thu, 15 Feb 2024 15:23:26 +0000
- List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
I do like the idea. I applied some of the suggestions to this proof of
concept patch (attached). Still not compile-tested, since the CI seems
a bit slow today.
arch_grant_cache_flush is missing the return type on x86, sorry.
--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)
|