>>> On 25.09.14 at 13:56, <tklengyel@sec.in.tum.de> wrote:
> --- a/xen/include/asm-arm/p2m.h
> +++ b/xen/include/asm-arm/p2m.h
> @@ -66,6 +66,13 @@ typedef enum {
>      p2m_max_real_type,  /* Types after this won't be store in the p2m */
>  } p2m_type_t;
>
> +static inline
> +void p2m_mem_event_emulate_check(struct vcpu *v,
> +                                 const mem_event_response_t *rsp)

This was the offending change - I fixed this up by including
public/mem_event.h from xen/p2m-common.h in patch 3.

Jan