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