Searched refs:spawn_core_handlers (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/kernel/ | ||
| H A D | coreboot.c | 22 static coreboot_start_fn_t spawn_core_handlers[CPU_TYPE_NUM]; variable 33 spawn_core_handlers[type] = handler; 48 return spawn_core_handlers[type]; |
Completed in 33 milliseconds