Searched refs:clh_lock_acquire (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/smp/ | ||
| H A D | lock.h | 91 clh_lock_acquire(word_t cpu, bool_t irqPath) function 139 clh_lock_acquire(getCurrentCPUIndex(), _irqPath); \ |
Completed in 26 milliseconds