Searched refs:prev (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/include/smp/ |
| A D | lock.h | 63 clh_qnode_t *prev; in sel4_atomic_exchange() local
73 (void **) &prev)) { in sel4_atomic_exchange()
90 return prev; in sel4_atomic_exchange()
95 clh_qnode_t *prev; in clh_lock_acquire() local
98 prev = sel4_atomic_exchange(&big_kernel_lock.head, irqPath, cpu, __ATOMIC_ACQ_REL); in clh_lock_acquire()
100 big_kernel_lock.node_owners[cpu].next = prev; in clh_lock_acquire()
|
| /seL4-master/include/arch/arm/arch/model/ |
| A D | smp.h | 19 static inline bool_t try_arch_atomic_exchange_rlx(void *ptr, void *new_val, void **prev) in try_arch_atomic_exchange_rlx() argument
32 *prev = temp; in try_arch_atomic_exchange_rlx()
|
| /seL4-master/include/arch/x86/arch/model/ |
| A D | smp.h | 39 static inline bool_t try_arch_atomic_exchange_rlx(void *ptr, void *new_val, void **prev) in try_arch_atomic_exchange_rlx() argument
41 *prev = __atomic_exchange_n((void **) ptr, new_val, __ATOMIC_RELAXED); in try_arch_atomic_exchange_rlx()
|
| /seL4-master/include/arch/riscv/arch/model/ |
| A D | smp.h | 46 static inline bool_t try_arch_atomic_exchange_rlx(void *ptr, void *new_val, void **prev) in try_arch_atomic_exchange_rlx() argument
48 *prev = __atomic_exchange_n((void **)ptr, new_val, __ATOMIC_RELAXED); in try_arch_atomic_exchange_rlx()
|
| /seL4-master/src/object/ |
| A D | cnode.c | 571 cte_t *prev, *next; in emptySlot() local
574 prev = CTE_PTR(mdb_node_get_mdbPrev(mdbNode)); in emptySlot()
577 if (prev) { in emptySlot()
578 mdb_node_ptr_set_mdbNext(&prev->cteMDBNode, CTE_REF(next)); in emptySlot()
581 mdb_node_ptr_set_mdbPrev(&next->cteMDBNode, CTE_REF(prev)); in emptySlot()
850 cte_t *prev; in isFinalCapability() local
852 prev = CTE_PTR(mdb_node_get_mdbPrev(mdb)); in isFinalCapability()
853 prevIsSameObject = sameObjectAs(prev->cap, cte->cap); in isFinalCapability()
|
| /seL4-master/include/kernel/ |
| A D | thread.h | 226 time_t prev = NODE_STATE(ksCurTime); in updateTimestamp() local
229 time_t consumed = (NODE_STATE(ksCurTime) - prev); in updateTimestamp()
|
| /seL4-master/tools/ |
| A D | lex.py | 899 prev = counthash.get(name)
900 if not prev:
904 … "%s:%d: Rule %s redefined. Previously defined on line %d", filename, linen, name, prev)
|
Completed in 9 milliseconds