Searched defs:efi_get_max_initrd_addr (Results 1 – 8 of 8) sorted by relevance
27 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
23 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
45 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
37 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
64 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
83 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
86 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function
84 static inline unsigned long efi_get_max_initrd_addr(unsigned long image_addr) in efi_get_max_initrd_addr() function