Searched refs:doRemoteMaskOp2Arg (Results 1 – 3 of 3) sorted by relevance
| /seL4-master/include/arch/x86/arch/smp/ |
| A D | ipi_inline.h | 25 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidatePageStructureCacheASID, root, asid, mask); in doRemoteInvalidatePageStructureCacheASID()
35 doRemoteMaskOp2Arg(IpiRemoteCall_InvalidateTranslationSingleASID, vptr, asid, mask); in doRemoteInvalidateTranslationSingleASID()
|
| /seL4-master/include/arch/x86/arch/64/mode/smp/ |
| A D | ipi.h | 31 doRemoteMaskOp2Arg((IpiRemoteCall_t)IpiRemoteCall_InvalidateASID, (word_t)vspace, asid, mask); in doRemoteInvalidateASID()
|
| /seL4-master/include/smp/ |
| A D | ipi.h | 121 static void inline doRemoteMaskOp2Arg(IpiRemoteCall_t func, word_t data1, word_t data2, word_t mask) in doRemoteMaskOp2Arg() function
|
Completed in 3 milliseconds