sys/arch/ews4800mips/stand/common/binkernel.c

42

int kernel_binary_size = 0;

sys/arch/ews4800mips/stand/common/binkernel.c

45

int kernel_binary_size = KERNEL_SIZE;

sys/arch/ews4800mips/stand/common/boot.c

161

if (kernel_binary_size) {

sys/arch/ews4800mips/stand/common/boot.c

316

kernel_binary_size ? 'x' : '_');

sys/arch/ews4800mips/stand/common/boot.c

65

extern int kernel_binary_size;

sys/arch/ews4800mips/stand/common/devopen.c

45

extern int kernel_binary_size;

sys/arch/ews4800mips/stand/common/devopen.c

92

data_attach(kernel_binary, kernel_binary_size);

sys/arch/ews4800mips/stand/common/loader.c

103

q + kernel_binary_size, start);

sys/arch/ews4800mips/stand/common/loader.c

104

if ((uint32_t)(q + kernel_binary_size) >= (uint32_t)start) {

sys/arch/ews4800mips/stand/common/loader.c

109

printf("load kernel to %p %dbytes. Y/N\n", q, kernel_binary_size);

sys/arch/ews4800mips/stand/common/loader.c

115

j = kernel_binary_size / 30;

sys/arch/ews4800mips/stand/common/loader.c

116

for (i = 0; i < kernel_binary_size; i ++) {

sys/arch/ews4800mips/stand/common/loader.c

120

kernel_binary_size);

sys/arch/ews4800mips/stand/common/loader.c

125

printf("loading kernel. %d/%d\r", i , kernel_binary_size);

sys/arch/ews4800mips/stand/common/loader.c

83

extern int kernel_binary_size;

sys/arch/ews4800mips/stand/common/loader.c

93

if (kernel_binary_size == 0) {