Searched refs:initrd_addr_max (Results 1 – 3 of 3) sorted by relevance
90 __u32 initrd_addr_max; member
768 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
Completed in 12 milliseconds