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

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c78 word_t boot_size = (word_t)(boot_cpu_end - boot_cpu_start); local
79 word_t boot_node_top = BOOT_NODE_PADDR + boot_size;
83 (word_t)(BOOT_NODE_MAX_PADDR - BOOT_NODE_PADDR), boot_size);
93 memcpy((void *)BOOT_NODE_PADDR, boot_cpu_start, boot_size);

Completed in 32 milliseconds