Searched refs:clh_lock_acquire (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/seL4/include/smp/ | ||
| H A D | lock.h | 93 static inline void FORCE_INLINE clh_lock_acquire(word_t cpu, bool_t irqPath) function 139 clh_lock_acquire(getCurrentCPUIndex(), _irqPath); \ |
Completed in 103 milliseconds