Searched refs:kernel_binary_size (Results 1 – 5 of 5) sorted by relevance
83 extern int kernel_binary_size; in cmd_load_binary()93 if (kernel_binary_size == 0) { in cmd_load_binary()103 q + kernel_binary_size, start); in cmd_load_binary()104 if ((uint32_t)(q + kernel_binary_size) >= (uint32_t)start) { in cmd_load_binary()109 printf("load kernel to %p %dbytes. Y/N\n", q, kernel_binary_size); in cmd_load_binary()115 j = kernel_binary_size / 30; in cmd_load_binary()116 for (i = 0; i < kernel_binary_size; i ++) { in cmd_load_binary()120 kernel_binary_size); in cmd_load_binary()125 printf("loading kernel. %d/%d\r", i , kernel_binary_size); in cmd_load_binary()
42 int kernel_binary_size = 0; variable45 int kernel_binary_size = KERNEL_SIZE; variable
65 extern int kernel_binary_size;161 if (kernel_binary_size) { in guess_boot_kernel()316 kernel_binary_size ? 'x' : '_'); in set_device_capability()
45 extern int kernel_binary_size;92 data_attach(kernel_binary, kernel_binary_size); in devopen()
43 #define kernel_binary_size md_root_size macro