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

/seL4-master/src/arch/x86/kernel/
A D	smp_sys.c	97 static BOOT_CODE bool_t try_boot_node(void) in try_boot_node() function 123 result = try_boot_node(); in boot_node()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023