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

/barrelfish-2018-10-04/kernel/include/
H A Dcoreboot.h20 coreboot_start_fn_t coreboot_get_spawn_handler(enum cpu_type);
/barrelfish-2018-10-04/kernel/
H A Dcoreboot.c42 coreboot_start_fn_t coreboot_get_spawn_handler(enum cpu_type type) { function
H A Dsyscall.c795 coreboot_start_fn_t start_fn = coreboot_get_spawn_handler(cpu_type);

Completed in 46 milliseconds