Searched refs:KERNEL_ARGS_ADDR (Results 1 – 1 of 1) sorted by relevance
14 #define KERNEL_ARGS_ADDR 0x100 macro66 p = base + KERNEL_ARGS_ADDR; in set_kernel_args()122 p = base + KERNEL_ARGS_ADDR; in set_kernel_args_old()176 while (p < base + KERNEL_ARGS_ADDR + 256 + 1024) { in set_kernel_args_old()251 bootloader[5] = info->loader_start + KERNEL_ARGS_ADDR; in arm_load_kernel()