Searched defs:new_val (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dsmp.h27 try_arch_atomic_exchange(void* ptr, void *new_val, void **prev, int success_memorder, int failure_memorder) argument
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/
H A Dsmp.h47 try_arch_atomic_exchange(void *ptr, void *new_val, void **prev, int success_memorder, int failure_memorder) argument
/seL4-l4v-10.1.1/HOL4/src/HolSmt/
H A DYices.sml643 val new_val = combinSyntax.dest_K_1 f value

Completed in 84 milliseconds