Barrelfish
Functions
coreboot.c File Reference

Registering for handler functions to manage cores. More...

Functions

void coreboot_set_spawn_handler (enum cpu_type type, coreboot_start_fn_t handler)
 
coreboot_start_fn_t coreboot_get_spawn_handler (enum cpu_type type)
 

Detailed Description

Registering for handler functions to manage cores.

Function Documentation

coreboot_start_fn_t coreboot_get_spawn_handler ( enum cpu_type  type)
Parameters
cpu_typeGet handler for specific cpu type
Returns
Core boot handler function or NULL in case none was registered for that type
void coreboot_set_spawn_handler ( enum cpu_type  type,
coreboot_start_fn_t  handler 
)

Register spawn core handler function for specific cpu type.

Parameters
typeCPU type
handlerHandler functions