Re: [Xen-devel] [PATCH 3/4] xen/arm: introduce XENMEM_cache_flush

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 02.10.14 at 12:02, <stefano.stabellini@xxxxxxxxxxxxx> wrote:
> --- a/xen/arch/arm/mm.c
> +++ b/xen/arch/arm/mm.c
> @@ -1134,6 +1134,98 @@ long arch_memory_op(int op, 
> XEN_GUEST_HANDLE_PARAM(void) arg)
>      case XENMEM_get_sharing_shared_pages:
>      case XENMEM_get_sharing_freed_pages:
>          return 0;
> +    case XENMEM_cache_flush:

Two further notes/questions:

Shouldn't this rather be an arch-independent op right away? I
suppose x86 will need this the moment it gains 32-bit PVH Dom0
support (which will then include non-PAE).

With that, wouldn't the whole operation be a better fit with
the other MMUEXT_* ones instead of being XENMEM_*?

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel