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

/seL4-l4v-master/seL4/src/smp/
H A Dipi.c76 handleRemoteCall(remoteCall, get_ipi_arg(0), get_ipi_arg(1), get_ipi_arg(2), irqPath);
/seL4-l4v-master/seL4/include/smp/
H A Dipi.h27 static inline word_t get_ipi_arg(word_t n) function

Completed in 27 milliseconds