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

/seL4-test-master/kernel/src/arch/arm/smp/
H A Dipi.c16 static inline void init_ipi_args(IpiRemoteCall_t func, function
/seL4-test-master/kernel/src/arch/riscv/smp/
H A Dipi.c18 static inline void init_ipi_args(IpiRemoteCall_t func, function
/seL4-test-master/kernel/src/arch/x86/smp/
H A Dipi.c16 static inline void init_ipi_args(IpiRemoteCall_t func, function
/seL4-test-master/kernel/src/smp/
H A Dipi.c95 init_ipi_args(func, data1, data2, data3, mask);

Completed in 30 milliseconds