>>> On 22.05.15 at 14:15, <rcojoc...@bitdefender.com> wrote:
> While working on this I found the following in the vm_event.h header:
>
> 168 struct vm_event_debug {
> 169 uint64_t gfn;
> 170 uint32_t _pad;
> 171 };
>
> Is this supposed to be 64 + 32 bits padding?I think I need to direct the question back to you. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
