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

/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c97 static BOOT_CODE bool_t try_boot_node(void) function
123 result = try_boot_node();

Completed in 34 milliseconds