/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | mondata.h | 8 #define verysmall(ptr) ((ptr)->msize < MZ_SMALL) 9 #define bigmonst(ptr) ((ptr)->msize >= MZ_LARGE) 11 #define pm_resistance(ptr,typ) (((ptr)->mresists & (typ)) != 0) 27 #define is_flyer(ptr) (((ptr)->mflags1 & M1_FLY) != 0L) 28 #define is_floater(ptr) ((ptr) [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | mondata.h | 8 #define verysmall(ptr) ((ptr)->msize < MZ_SMALL) 9 #define bigmonst(ptr) ((ptr)->msize >= MZ_LARGE) 11 #define pm_resistance(ptr,typ) (((ptr)->mresists & (typ)) != 0) 27 #define is_flyer(ptr) (((ptr)->mflags1 & M1_FLY) != 0L) 28 #define is_floater(ptr) ((ptr) [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | err.h | 26 static inline long PTR_ERR(const void *ptr) argument 28 return (long) ptr; 31 static inline long IS_ERR(const void *ptr) argument 33 return IS_ERR_VALUE((unsigned long)ptr); 38 * @ptr: The pointer to cast. 43 static inline void * __must_check ERR_CAST(__force const void *ptr) argument 46 return (void *) ptr;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | err.h | 28 static inline long PTR_ERR(const void *ptr) argument 30 return (long) ptr; 33 static inline long IS_ERR(const void *ptr) argument 35 return IS_ERR_VALUE((unsigned long)ptr); 40 * @ptr: The pointer to cast. 45 static inline void *__must_check ERR_CAST(__force const void *ptr) argument 48 return (void *) ptr;
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 73 static uintptr_t pre_canary(void *ptr) argument 75 return ((uintptr_t)ptr) | PRE_EXTRA_BITS; 77 static uintptr_t post_canary(void *ptr) argument 79 return ((uintptr_t)ptr) | POST_EXTRA_BITS; 110 static void *box(void *ptr, size_t size) argument 112 if (ptr == NULL) { 113 return ptr; 116 metadata_t *pre = (metadata_t *)ptr; 117 ptr += sizeof(*pre); 118 unaligned_uintptr_t *post = ptr 142 unbox(void *ptr, void *ret_addr) argument 181 track(void *ptr) argument 200 untrack(void *ptr, void *ret_addr) argument 233 void *ptr = __real_malloc(new_size); local 239 __wrap_free(void *ptr) argument 275 void *ptr = __real_calloc(new_num, size); local 281 __wrap_realloc(void *ptr, size_t size) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 73 static uintptr_t pre_canary(void *ptr) argument 75 return ((uintptr_t)ptr) | PRE_EXTRA_BITS; 77 static uintptr_t post_canary(void *ptr) argument 79 return ((uintptr_t)ptr) | POST_EXTRA_BITS; 110 static void *box(void *ptr, size_t size) argument 112 if (ptr == NULL) { 113 return ptr; 116 metadata_t *pre = (metadata_t *)ptr; 117 ptr += sizeof(*pre); 118 unaligned_uintptr_t *post = ptr 142 unbox(void *ptr, void *ret_addr) argument 181 track(void *ptr) argument 200 untrack(void *ptr, void *ret_addr) argument 233 void *ptr = __real_malloc(new_size); local 239 __wrap_free(void *ptr) argument 275 void *ptr = __real_calloc(new_num, size); local 281 __wrap_realloc(void *ptr, size_t size) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 18 assert(ptr != NULL); 19 *ptr = malloc(size); 20 if (*ptr == NULL) { 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 28 assert(ptr != NULL); 29 *ptr = calloc(nmemb, size); 30 if (*ptr == NULL) { 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument 38 free(ptr); [all...] |
H A D | services.h | 21 #define MAP_IF_NULL(op, id, ptr) \ 23 if(ptr == NULL){ \ 24 ptr = RESOURCE(op, id); \
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | io.c | 16 static int ps_stdlib_malloc(UNUSED void *cookie, size_t size, void **ptr) argument 18 assert(ptr != NULL); 19 *ptr = malloc(size); 20 if (*ptr == NULL) { 26 static int ps_stdlib_calloc(UNUSED void *cookie, size_t nmemb, size_t size, void **ptr) argument 28 assert(ptr != NULL); 29 *ptr = calloc(nmemb, size); 30 if (*ptr == NULL) { 36 static int ps_stdlib_free(UNUSED void *cookie, UNUSED size_t size, void *ptr) argument 38 free(ptr); [all...] |
H A D | services.h | 21 #define MAP_IF_NULL(op, id, ptr) \ 23 if(ptr == NULL){ \ 24 ptr = RESOURCE(op, id); \
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | alloc.c | 46 register genericptr_t ptr; 48 ptr = malloc(lth); 50 if (!ptr) panic("Memory allocation failure; cannot get %u bytes", lth); 52 return((long *) ptr); 80 fmt_ptr(ptr, buf) 81 const genericptr ptr; 84 Sprintf(buf, PTR_FMT, (PTR_TYP)ptr); 110 long *ptr = alloc(lth); local 116 fmt_ptr((genericptr_t)ptr, ptr_address), 119 if (!ptr) pani [all...] |
H A D | mondata.c | 14 set_mon_data(mon, ptr, flag) 16 struct permonst *ptr; 19 mon->data = ptr; 23 mon->mintrinsics |= (ptr->mresists & 0x00FF); 25 mon->mintrinsics = (ptr->mresists & 0x00FF); 33 attacktype_fordmg(ptr, atyp, dtyp) 34 struct permonst *ptr; 39 for (a = &ptr->mattk[0]; a < &ptr->mattk[NATTK]; a++) 47 attacktype(ptr, aty 70 struct permonst *ptr = mon->data; local 82 struct permonst *ptr = mon->data; local 107 struct permonst *ptr = mon->data; local [all...] |
H A D | minion.c | 13 register struct permonst *ptr; local 19 ptr = mon->data; 20 atyp = (ptr->maligntyp==A_NONE) ? A_NONE : sgn(ptr->maligntyp); 25 ptr = &mons[PM_WIZARD_OF_YENDOR]; 26 atyp = (ptr->maligntyp==A_NONE) ? A_NONE : sgn(ptr->maligntyp); 29 if (is_dprince(ptr) || (ptr == &mons[PM_WIZARD_OF_YENDOR])) { 33 } else if (is_dlord(ptr)) { 294 struct permonst *ptr; local 310 struct permonst *ptr; local [all...] |
H A D | makemon.c | 43 is_home_elemental(ptr) 44 register struct permonst *ptr; 46 if (ptr->mlet == S_ELEMENTAL) 47 switch (monsndx(ptr)) { 60 wrong_elem_type(ptr) 61 register struct permonst *ptr; 63 if (ptr->mlet == S_ELEMENTAL) { 64 return((boolean)(!is_home_elemental(ptr))); 69 if(!is_swimmer(ptr)) return TRUE; 71 if (!pm_resistance(ptr,MR_FIR 167 register struct permonst *ptr = mtmp->data; local 493 register struct permonst *ptr = mtmp->data; local 1200 register struct permonst *ptr; local 1398 struct permonst *ptr = mtmp->data; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | alloc.c | 46 register genericptr_t ptr; 48 ptr = malloc(lth); 50 if (!ptr) panic("Memory allocation failure; cannot get %u bytes", lth); 52 return((long *) ptr); 80 fmt_ptr(ptr, buf) 81 const genericptr ptr; 84 Sprintf(buf, PTR_FMT, (PTR_TYP)ptr); 110 long *ptr = alloc(lth); local 116 fmt_ptr((genericptr_t)ptr, ptr_address), 119 if (!ptr) pani [all...] |
H A D | mondata.c | 14 set_mon_data(mon, ptr, flag) 16 struct permonst *ptr; 19 mon->data = ptr; 23 mon->mintrinsics |= (ptr->mresists & 0x00FF); 25 mon->mintrinsics = (ptr->mresists & 0x00FF); 33 attacktype_fordmg(ptr, atyp, dtyp) 34 struct permonst *ptr; 39 for (a = &ptr->mattk[0]; a < &ptr->mattk[NATTK]; a++) 47 attacktype(ptr, aty 70 struct permonst *ptr = mon->data; local 82 struct permonst *ptr = mon->data; local 107 struct permonst *ptr = mon->data; local [all...] |
H A D | minion.c | 13 register struct permonst *ptr; local 19 ptr = mon->data; 20 atyp = (ptr->maligntyp==A_NONE) ? A_NONE : sgn(ptr->maligntyp); 25 ptr = &mons[PM_WIZARD_OF_YENDOR]; 26 atyp = (ptr->maligntyp==A_NONE) ? A_NONE : sgn(ptr->maligntyp); 29 if (is_dprince(ptr) || (ptr == &mons[PM_WIZARD_OF_YENDOR])) { 33 } else if (is_dlord(ptr)) { 294 struct permonst *ptr; local 310 struct permonst *ptr; local [all...] |
H A D | makemon.c | 43 is_home_elemental(ptr) 44 register struct permonst *ptr; 46 if (ptr->mlet == S_ELEMENTAL) 47 switch (monsndx(ptr)) { 60 wrong_elem_type(ptr) 61 register struct permonst *ptr; 63 if (ptr->mlet == S_ELEMENTAL) { 64 return((boolean)(!is_home_elemental(ptr))); 69 if(!is_swimmer(ptr)) return TRUE; 71 if (!pm_resistance(ptr,MR_FIR 167 register struct permonst *ptr = mtmp->data; local 493 register struct permonst *ptr = mtmp->data; local 1200 register struct permonst *ptr; local 1398 struct permonst *ptr = mtmp->data; local [all...] |
/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 23 k_r_malloc->base.s.ptr = k_r_malloc->freep = prevp = &k_r_malloc->base; 26 for (p = prevp->s.ptr;; prevp = p, p = p->s.ptr) { 29 prevp->s.ptr = p->s.ptr; 60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr) 61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) { 65 if (bp + bp->s.size == p->s.ptr) { /* joi [all...] |
H A D | malloc.c | 25 void _mspace_malloc_free(allocman_t *alloc, void *unsued, void *ptr, size_t bytes) argument 27 free(ptr);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 23 k_r_malloc->base.s.ptr = k_r_malloc->freep = prevp = &k_r_malloc->base; 26 for (p = prevp->s.ptr;; prevp = p, p = p->s.ptr) { 29 prevp->s.ptr = p->s.ptr; 60 for (p = k_r_malloc->freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr) 61 if (p >= p->s.ptr && (bp > p || bp < p->s.ptr)) { 65 if (bp + bp->s.size == p->s.ptr) { /* joi [all...] |
H A D | malloc.c | 25 void _mspace_malloc_free(allocman_t *alloc, void *unsued, void *ptr, size_t bytes) argument 27 free(ptr);
|
/seL4-refos-master/kernel/include/arch/arm/arch/ |
H A D | machine.h | 50 static inline void clearMemory(word_t *ptr, word_t bits) argument 52 memzero(ptr, BIT(bits)); 53 cleanCacheRange_PoU((word_t)ptr, (word_t)ptr + BIT(bits) - 1, 54 addrFromPPtr(ptr)); 57 static inline void clearMemoryRAM(word_t *ptr, word_t bits) argument 59 memzero(ptr, BIT(bits)); 60 cleanCacheRange_RAM((word_t)ptr, (word_t)ptr + BIT(bits) - 1, 61 addrFromPPtr(ptr)); [all...] |
/seL4-refos-master/libs/libmuslc/src/regex/ |
H A D | tre-mem.c | 92 void *ptr; local 111 mem->ptr = provided_block; 140 mem->ptr = l->data; 146 size += ALIGN(mem->ptr + size, long); 149 ptr = mem->ptr; 150 mem->ptr += size; 155 memset(ptr, 0, size); 157 return ptr;
|
/seL4-refos-master/kernel/include/arch/arm/arch/model/ |
H A D | smp.h | 19 static inline bool_t try_arch_atomic_exchange_rlx(void *ptr, void *new_val, void **prev) argument 25 LD_EX "%[prev_output], [%[ptr_val]] \n\t" /* ret = *ptr */ 26 ST_EX "%" OP_WIDTH "[atomic_var], %[new_val] , [%[ptr_val]] \n\t" /* *ptr = new */ 28 : [ptr_val] "r"(ptr), [new_val] "r"(new_val) /* input */
|