Searched refs:boot_cpu_end (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c73 assert(boot_cpu_end - boot_cpu_start < 0x400);
76 * is free according to multiboot. As boot_cpu_end and boot_cpu_start are link time
78 word_t boot_size = (word_t)(boot_cpu_end - boot_cpu_start);
H A Dboot_sys.c32 extern char boot_cpu_end[1];
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dhead.S145 .global boot_cpu_end
146 boot_cpu_end: label
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dhead.S405 .global boot_cpu_end
406 boot_cpu_end: label

Completed in 68 milliseconds