/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | div.c | 3 div_t div(int num, int den) argument 5 return (div_t){ num/den, num%den };
|
H A D | imaxdiv.c | 3 imaxdiv_t imaxdiv(intmax_t num, intmax_t den) argument 5 return (imaxdiv_t){ num/den, num%den };
|
H A D | ldiv.c | 3 ldiv_t ldiv(long num, long den) argument 5 return (ldiv_t){ num/den, num%den };
|
H A D | lldiv.c | 3 lldiv_t lldiv(long long num, long long den) argument 5 return (lldiv_t){ num/den, num%den };
|
/seL4-refos-master/kernel/tools/hardware/utils/ |
H A D | __init__.py | 8 def align_up(num, bits): 11 return (num + (boundary - 1)) & ~(boundary - 1) 14 def align_down(num, bits): 17 return num & ~(boundary - 1)
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | ioperm.c | 6 int ioperm(unsigned long from, unsigned long num, int turn_on) argument 8 return syscall(SYS_ioperm, from, num, turn_on);
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/ |
H A D | virtio_ring.h | 95 unsigned int num; member in struct:vring 105 * like this. We assume num is a power of 2. 110 * struct vring_desc desc[num]; 115 * uint16_t available[num]; 124 * struct vring_used_elem used[num]; 130 #define vring_used_event(vr) ((vr)->avail->ring[(vr)->num]) 131 #define vring_avail_event(vr) (*(uint16_t *)&(vr)->used->ring[(vr)->num]) 133 static inline void vring_init(struct vring *vr, unsigned int num, void *p, argument 136 vr->num = num; 143 vring_size(unsigned int num, unsigned long align) argument [all...] |
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx7/ |
H A D | smp.c | 84 unsigned int i, num; local 89 asm volatile("mrc p15, 1, %0, c9, c0, 2": "=r"(num)); 90 num = ((num >> 24) & 0x3) + 1; 92 if (num > CONFIG_MAX_NUM_NODES) { 93 num = CONFIG_MAX_NUM_NODES; 94 } else if (num < CONFIG_MAX_NUM_NODES) { 96 num, CONFIG_MAX_NUM_NODES); 100 printf("Bringing up %d other cpus\n", num - 1); 101 for (i = 1; i < num; [all...] |
/seL4-refos-master/tools/elfloader/src/plat/imx7/ |
H A D | smp.c | 84 unsigned int i, num; local 89 asm volatile("mrc p15, 1, %0, c9, c0, 2": "=r"(num)); 90 num = ((num >> 24) & 0x3) + 1; 92 if (num > CONFIG_MAX_NUM_NODES) { 93 num = CONFIG_MAX_NUM_NODES; 94 } else if (num < CONFIG_MAX_NUM_NODES) { 96 num, CONFIG_MAX_NUM_NODES); 100 printf("Bringing up %d other cpus\n", num - 1); 101 for (i = 1; i < num; [all...] |
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | semctl.c | 12 int semctl(int id, int num, int cmd, ...) argument 24 return syscall(SYS_semctl, id, num, cmd | IPC_64, arg.buf); 26 return syscall(SYS_ipc, IPCOP_semctl, id, num, cmd | IPC_64, &arg.buf);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | exper.c | 117 register int num; local 142 num = newhp(); 143 u.uhpmax -= num; 145 u.uhp -= num; 150 num = rn1((int)ACURR(A_WIS)/2 + urole.enadv.lornd + urace.enadv.lornd, 153 num = rn1((int)ACURR(A_WIS)/2 + urole.enadv.hirnd + urace.enadv.hirnd, 155 num = enermod(num); /* M. Stephenson */ 156 u.uenmax -= num; 158 u.uen -= num; 184 register int num; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | exper.c | 117 register int num; local 142 num = newhp(); 143 u.uhpmax -= num; 145 u.uhp -= num; 150 num = rn1((int)ACURR(A_WIS)/2 + urole.enadv.lornd + urace.enadv.lornd, 153 num = rn1((int)ACURR(A_WIS)/2 + urole.enadv.hirnd + urace.enadv.hirnd, 155 num = enermod(num); /* M. Stephenson */ 156 u.uenmax -= num; 158 u.uen -= num; 184 register int num; local [all...] |
/seL4-refos-master/libs/libmuslc/include/sys/ |
H A D | quota.h | 12 #define dbtob(num) ((num) << 10) 13 #define btodb(num) ((num) >> 10) 14 #define fs_to_dq_blocks(num, blksize) (((num) * (blksize)) / 1024)
|
/seL4-refos-master/libs/libmuslc/src/network/ |
H A D | if_nameindex.c | 20 unsigned int num, allocated, str_bytes; member in struct:ifnameindexctx 62 if (ctx->num >= ctx->allocated) { 70 map = &ctx->list[ctx->num]; 75 ctx->num++; 77 ctx->hash[bucket] = ctx->num; 96 ifs = malloc(sizeof(struct if_nameindex[ctx->num+1]) + ctx->str_bytes); 99 p = (char*)(ifs + ctx->num + 1); 100 for (i = ctx->num, d = ifs, s = ctx->list; i; i--, s++, d++) {
|
H A D | proto.c | 77 struct protoent *getprotobynumber(int num) argument 82 while (p && p->p_proto != num);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | netdev.h | 116 int num = 0; local 121 num += eepro100_initialize(bis); 124 num += dc21x4x_initialize(bis); 127 num += e1000_initialize(bis); 130 num += pcnet_initialize(bis); 133 num += natsemi_initialize(bis); 136 num += ns8382x_initialize(bis); 139 num += rtl8139_initialize(bis); 142 num += rtl8169_initialize(bis); 145 num [all...] |
/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 335 * @param num Number of cslots to hold in reserve 339 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num); 347 * @param num Maximum number of slots to handle 351 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num); 359 * @param num Maxmimum number of chunks to handle 363 int allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num); 371 * @param num Maxmimum number of chunks to handle 375 int allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num); 382 * @param num Number of untypeds to add 390 static inline int allocman_utspace_add_uts(allocman_t *alloc, size_t num, cons argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 335 * @param num Number of cslots to hold in reserve 339 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num); 347 * @param num Maximum number of slots to handle 351 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num); 359 * @param num Maxmimum number of chunks to handle 363 int allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num); 371 * @param num Maxmimum number of chunks to handle 375 int allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num); 382 * @param num Number of untypeds to add 390 static inline int allocman_utspace_add_uts(allocman_t *alloc, size_t num, cons argument [all...] |
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | tgamma.c | 91 double_t num = 0, den = 0; local 97 num = num * x + Snum[i]; 102 num = num / x + Snum[i]; 105 return num/den;
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | mapping.h | 47 int num = 3; local 48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mapping.h | 47 int num = 3; local 48 return sel4utils_map_page(vka, pd, frame, vaddr, rights, cacheable, objects, &num);
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 221 void *__real_calloc(size_t num, size_t size); 263 void *__wrap_calloc(size_t num, size_t size) argument 266 return __real_calloc(num, size); 269 size_t sz = adjust_size(num * size); 276 ptr = box(ptr, num * size);
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 221 void *__real_calloc(size_t num, size_t size); 263 void *__wrap_calloc(size_t num, size_t size) argument 266 return __real_calloc(num, size); 269 size_t sz = adjust_size(num * size); 276 ptr = box(ptr, num * size);
|
/seL4-refos-master/kernel/src/plat/pc99/machine/ |
H A D | intel-vtd.c | 277 size += rmrr_list->num; /* one for each device */ 279 if (rmrr_list->num == 0) { 286 filtered.num = 1; 288 for (word_t i = 1; i < rmrr_list->num; i++) { 290 vtd_get_root_index(filtered.entries[filtered.num - 1].device) && 291 rmrr_list->entries[i].base != filtered.entries[filtered.num - 1].base && 292 rmrr_list->entries[i].limit != filtered.entries[filtered.num - 1].limit) { 293 filtered.entries[filtered.num] = rmrr_list->entries[i]; 294 filtered.num++; 304 for (word_t j = 0; j < filtered.num; [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
H A D | tclib.c | 438 register int c, num = 0; local 446 do { /* note: scale `num' by 10 to accommodate fraction */ 447 num += (*p++ - '0'), num *= 10; 450 ++p, num += (*p >= '0' && *p <= '9') ? (*p++ - '0') : 0; 452 ++p, num *= range; 463 if (num) { 469 pad *= (long)num; 471 num = (int)(pad / 100000L); /* number of characters */ 474 while (--num > [all...] |