Re: [patch 4/4] Passing efi related data via setup_data

Dave Young
2013-10-28T11:22:00Z

On 10/28/13 at 03:41am, H. Peter Anvin wrote:
> On 10/26/2013 09:04 PM, dyoung@redhat.com wrote:
>
> > + __uint64_t next;
>
> WTF is __uint64_t?

bits/types.h:typedef unsigned long int __uint64_t;

I meant to use uint64_t instead of __unit64_t

Will fix.