Searched refs:doRemoteOp2Arg (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/arm/arch/smp/
A D	ipi_inline.h	42 doRemoteOp2Arg(IpiRemoteCall_MaskPrivateInterrupt, disable, irq, cpu); in doRemoteMaskPrivateInterrupt()
/seL4-master/include/smp/
A D	ipi.h	141 static void inline doRemoteOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t cpu) in doRemoteOp2Arg() function

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023