} while (0)
static void set_kernel_args(struct arm_boot_info *info,
- int initrd_size, target_phys_addr_t base)
+ int initrd_size, a_target_phys_addr base)
{
- target_phys_addr_t p;
+ a_target_phys_addr p;
p = base + KERNEL_ARGS_ADDR;
/* ATAG_CORE */
}
static void set_kernel_args_old(struct arm_boot_info *info,
- int initrd_size, target_phys_addr_t base)
+ int initrd_size, a_target_phys_addr base)
{
- target_phys_addr_t p;
+ a_target_phys_addr p;
const char *s;
int n;
int is_linux = 0;
uint64_t elf_entry;
- target_phys_addr_t entry;
+ a_target_phys_addr entry;
int big_endian;
/* Load the kernel. */