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

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c79 word_t boot_node_top = BOOT_NODE_PADDR + boot_size; local
81 if (boot_node_top > BOOT_NODE_MAX_PADDR) {
86 if (mem_lower_bytes < boot_node_top) {
88 boot_node_top, mem_lower_bytes);

Completed in 25 milliseconds