HomeSort by: relevance | last modified time | path
    Searched refs:kernel_binary_size (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/arch/ews4800mips/stand/common/
binkernel.c 42 int kernel_binary_size = 0; variable in typeref:typename:int
45 int kernel_binary_size = KERNEL_SIZE; variable in typeref:typename:int
loader.c 83 extern int kernel_binary_size;
93 if (kernel_binary_size == 0) {
103 q + kernel_binary_size, start);
104 if ((uint32_t)(q + kernel_binary_size) >= (uint32_t)start) {
109 printf("load kernel to %p %dbytes. Y/N\n", q, kernel_binary_size);
115 j = kernel_binary_size / 30;
116 for (i = 0; i < kernel_binary_size; i ++) {
120 kernel_binary_size);
125 printf("loading kernel. %d/%d\r", i , kernel_binary_size);
local.h 43 #define kernel_binary_size md_root_size macro
devopen.c 45 extern int kernel_binary_size;
92 data_attach(kernel_binary, kernel_binary_size);
boot.c 65 extern int kernel_binary_size;
161 if (kernel_binary_size) {
316 kernel_binary_size ? 'x' : '_');

Completed in 58 milliseconds