Searched refs:initrd_addr_max (Results 1 – 4 of 4) sorted by relevance
89 __u32 initrd_addr_max; member
90 __u32 initrd_addr_max; member
772 hdr->initrd_addr_max, ULONG_MAX); in efi_main()
213 022C/4 2.03+ initrd_addr_max Highest legal initrd address634 Field name: initrd_addr_max