Searched defs:coreid (Results 26 - 29 of 29) sorted by relevance
12
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/ |
H A D | boot_arch.c | 623 errval_t spawn_xcore_monitor(coreid_t coreid, hwid_t hwid, argument
|
/barrelfish-2018-10-04/usr/fish/ |
H A D | fish_common.c | 72 static int execute_program(coreid_t coreid, int argc, char *argv[], argument
|
/barrelfish-2018-10-04/usr/monitor/ |
H A D | monitor_server.c | 953 migrate_dispatcher_request(struct monitor_binding *b, coreid_t coreid, struct capref vroot, struct capref disp) argument
|
/barrelfish-2018-10-04/usr/pci/ |
H A D | pci.c | 375 errval_t device_reregister_interrupt(uint8_t coreid, int vector, argument
|
Completed in 45 milliseconds
12