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

/seL4-l4v-master/seL4/src/arch/arm/smp/
H A Dipi.c21 ipi_args[0] = data1;
22 ipi_args[1] = data2;
23 ipi_args[2] = data3;
/seL4-l4v-master/seL4/src/arch/riscv/smp/
H A Dipi.c23 ipi_args[0] = data1;
24 ipi_args[1] = data2;
25 ipi_args[2] = data3;
/seL4-l4v-master/seL4/src/arch/x86/smp/
H A Dipi.c21 ipi_args[0] = data1;
22 ipi_args[1] = data2;
23 ipi_args[2] = data3;
/seL4-l4v-master/seL4/include/smp/
H A Dipi.h25 static word_t ipi_args[MAX_IPI_ARGS]; /* data to be passed to the remote call function */ variable
30 return ipi_args[n];

Completed in 34 milliseconds