Searched refs:image_64bit (Results 1 – 2 of 2) sorted by relevance
150 int boot_linux_kernel(ulong setup_base, ulong load_address, bool image_64bit) in boot_linux_kernel() argument157 if (image_64bit) { in boot_linux_kernel()
26 int boot_linux_kernel(ulong setup_base, ulong load_address, bool image_64bit);