Searched refs:sys_debug_send_ipi (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/include/barrelfish/ |
| H A D | sys_debug.h | 43 errval_t sys_debug_send_ipi(uint8_t destination, uint8_t shorthand, uint8_t vector);
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | sys_debug.c | 83 errval_t sys_debug_send_ipi(uint8_t destination, uint8_t shorthand, uint8_t vector) function
|
| /barrelfish-master/usr/drivers/cpuboot/ |
| H A D | main.c | 294 err = sys_debug_send_ipi(target_hwid, 0, APIC_INTER_HALT_VECTOR);
327 err = sys_debug_send_ipi(target_hwid, 0, APIC_INTER_HALT_VECTOR);
355 /*err = sys_debug_send_ipi(target_id, 0, APIC_INTER_HALT_VECTOR);
|
Completed in 37 milliseconds