Searched defs:ptr (Results 1 – 9 of 9) sorted by relevance
| /seL4-master/include/arch/arm/arch/ |
| A D | machine.h | 46 static inline void clearMemory(word_t *ptr, word_t bits) in clearMemory()
54 static inline void clearMemory_PT(word_t *ptr, word_t bits) in clearMemory_PT()
|
| /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()
|
| /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()
|
| /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()
|
| /seL4-master/include/smp/ |
| A D | lock.h | 60 static inline void *sel4_atomic_exchange(void *ptr, bool_t in sel4_atomic_exchange()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | machine.h | 144 static inline void clearMemory(void *ptr, unsigned int bits) in clearMemory()
|
| /seL4-master/include/object/ |
| A D | structures.h | 112 static inline cap_t CONST Zombie_new(word_t number, word_t type, word_t ptr) in Zombie_new()
149 word_t ptr = cap_zombie_cap_get_capZombieID(cap) & ~MASK(radix + 1); in cap_zombie_cap_set_capZombieNumber() local
|
| /seL4-master/include/arch/x86/arch/ |
| A D | machine.h | 341 static inline void clearMemory(void *ptr, unsigned int bits) in clearMemory()
|
| /seL4-master/src/object/ |
| A D | cnode.c | 666 cte_t *ptr; in reduceZombie() local
|
Completed in 13 milliseconds