Searched defs:efi_get_max_fdt_addr (Results 1 – 3 of 3) sorted by relevance
31 static inline unsigned long efi_get_max_fdt_addr(unsigned long image_addr) in efi_get_max_fdt_addr() function
68 static inline unsigned long efi_get_max_fdt_addr(unsigned long image_addr) in efi_get_max_fdt_addr() function
78 static inline unsigned long efi_get_max_fdt_addr(unsigned long image_addr) in efi_get_max_fdt_addr() function
