boot_node (reference) in projects: seL4-master

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

/seL4-master/include/arch/x86/arch/kernel/
A D	smp_sys.h	`16 void boot_node(void);`
/seL4-master/src/arch/x86/kernel/
A D	smp_sys.c	`118 VISIBLE void boot_node(void) in boot_node() function`
/seL4-master/src/arch/x86/32/
A D	head.S	`132 jmp boot_node`
/seL4-master/src/arch/x86/64/
A D	head.S	`427 jmp boot_node`

Completed in 9 milliseconds