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

[Dave Young]

On 10/28/13 at 03:41am, H. Peter Anvin wrote:
> On 10/26/2013 09:04 PM, dyoung at 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.