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

/barrelfish-master/usr/drivers/pl390_dist/
H A Dmain.c113 PL390_DEBUG("enable int=%d forwarding to cpu_mask=%d\n", int_id, cpu_targets);
250 uint8_t cpu_mask = 1<<to.port; local
254 err = enable_interrupt(b->st, from.port, cpu_mask, edge_triggered, one_to_n, prio);

Completed in 29 milliseconds