Home
last modified time | relevance | path

Searched defs:init_ipi_args (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/smp/
A Dipi.c16 static inline void init_ipi_args(IpiRemoteCall_t func, in init_ipi_args() function
/seL4-master/src/arch/riscv/smp/
A Dipi.c18 static inline void init_ipi_args(IpiRemoteCall_t func, in init_ipi_args() function
/seL4-master/src/arch/x86/smp/
A Dipi.c16 static inline void init_ipi_args(IpiRemoteCall_t func, in init_ipi_args() function

Completed in 4 milliseconds