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

/barrelfish-master/usr/kaluga/
H A Dboot_modules.h57 void set_core_id_offset(struct module_info*, coreid_t);
H A Dboot_modules.c62 void set_core_id_offset(struct module_info* mi, coreid_t offset) function
H A Dstart_pci.c427 set_core_id_offset(mi, offset);

Completed in 75 milliseconds