/seL4-refos-master/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...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 229 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 234 if (num > dev->tx_remain) { 247 for (i = 0; i < num; i++) { 261 dev->tx_lengths[dev->tdt] = num; 262 dev->tdt = (dev->tdt + num) % dev->tx_size; 263 dev->tx_remain -= num; 268 if (dev->tdt - num == 0) { 270 (uintptr_t) ((volatile struct descriptor *) dev->tx_ring_phys) + (dev->tdt - num) , 0); 278 (uintptr_t) ((volatile struct descriptor *) dev->tx_ring_phys) + (dev->tdt - num) , 0);
|
/seL4-refos-master/libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 36 int _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, argument 47 new_uts = allocman_mspace_alloc(alloc, sizeof(struct utspace_twinkle_ut) * (num + twinkle->num_uts), &error); 55 for (i = 0; i < num; i++, twinkle->num_uts++) {
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 36 int _utspace_twinkle_add_uts(allocman_t *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, argument 47 new_uts = allocman_mspace_alloc(alloc, sizeof(struct utspace_twinkle_ut) * (num + twinkle->num_uts), &error); 55 for (i = 0; i < num; i++, twinkle->num_uts++) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | attrib.c | 168 int num = 1; local 170 if(incr) num = incr; 172 if(ABASE(A_STR) < 18) num = (rn2(4) ? 1 : rnd(6) ); 173 else if (ABASE(A_STR) < STR18(85)) num = rnd(10); 175 (void) adjattrib(A_STR, (otmp && otmp->cursed) ? -num : num, TRUE); 179 losestr(num) /* may kill you; cause may be poison or monster like 'a' */ 180 register int num; 182 int ustr = ABASE(A_STR) - num; 186 --num; [all...] |
H A D | save.c | 652 bwrite(fd, loc, num) 655 register unsigned num; 661 bytes_counted += num; 664 if ((unsigned) write(fd, loc, num) != num) { 670 panic("cannot write %u bytes to file #%d", num, fd); 674 for (; num; num--, bp++) { 740 bwrite(fd,loc,num) 743 register unsigned num; [all...] |
H A D | detect.c | 1002 findone(zx,zy,num) 1004 genericptr_t num; 1013 (*(int*)num)++; 1019 (*(int*)num)++; 1024 (*(int*)num)++; 1029 (*(int*)num)++; 1035 (*(int*)num)++; 1043 (*(int*)num)++; 1048 openone(zx,zy,num) 1050 genericptr_t num; 1103 int num = 0; local 1113 int num = 0; local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | attrib.c | 168 int num = 1; local 170 if(incr) num = incr; 172 if(ABASE(A_STR) < 18) num = (rn2(4) ? 1 : rnd(6) ); 173 else if (ABASE(A_STR) < STR18(85)) num = rnd(10); 175 (void) adjattrib(A_STR, (otmp && otmp->cursed) ? -num : num, TRUE); 179 losestr(num) /* may kill you; cause may be poison or monster like 'a' */ 180 register int num; 182 int ustr = ABASE(A_STR) - num; 186 --num; [all...] |
H A D | save.c | 652 bwrite(fd, loc, num) 655 register unsigned num; 661 bytes_counted += num; 664 if ((unsigned) write(fd, loc, num) != num) { 670 panic("cannot write %u bytes to file #%d", num, fd); 674 for (; num; num--, bp++) { 740 bwrite(fd,loc,num) 743 register unsigned num; [all...] |
H A D | detect.c | 1002 findone(zx,zy,num) 1004 genericptr_t num; 1013 (*(int*)num)++; 1019 (*(int*)num)++; 1024 (*(int*)num)++; 1029 (*(int*)num)++; 1035 (*(int*)num)++; 1043 (*(int*)num)++; 1048 openone(zx,zy,num) 1050 genericptr_t num; 1103 int num = 0; local 1113 int num = 0; local [all...] |
/seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
H A D | split.h | 51 int _utspace_split_add_uts(struct allocman *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
H A D | twinkle.h | 37 int _utspace_twinkle_add_uts(struct allocman *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
H A D | utspace.h | 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | split.h | 51 int _utspace_split_add_uts(struct allocman *alloc, void *_split, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
H A D | twinkle.h | 37 int _utspace_twinkle_add_uts(struct allocman *alloc, void *_twinkle, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
H A D | utspace.h | 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType);
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | raw.h | 29 * @param num Number of memory regions making up the packet 30 * @param phys Array of length 'num' detailing physical addresses 32 * @param len Array of length 'num' detailing the length of each 41 typedef int (*ethif_raw_tx)(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len,
|
/seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
H A D | gic_v2.h | 288 static inline virq_t get_gic_vcpu_ctrl_lr(int num) argument 291 virq.words[0] = gic_vcpu_ctrl->lr[num]; 295 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) argument 297 gic_vcpu_ctrl->lr[num] = lr.words[0];
|
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
H A D | acpi.h | 73 int num; member in struct:acpi_rmrr_list
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | allocman.c | 466 static int resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) { argument 474 new_array = allocman_mspace_alloc(alloc, item_size * num, &error); 480 while (num < (*count)) { 492 (*size) = num; 499 static int resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) { argument 500 return resize_array(alloc, num, (void**)slots, size, count, sizeof(cspacepath_t)); 503 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num) { argument 504 return resize_slots_array(alloc, num, &alloc->cspace_slots, &alloc->desired_cspace_slots, &alloc->num_cspace_slots); 507 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num) { argument 508 return resize_slots_array(alloc, num, 511 allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num) argument 515 allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 466 static int resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) { argument 474 new_array = allocman_mspace_alloc(alloc, item_size * num, &error); 480 while (num < (*count)) { 492 (*size) = num; 499 static int resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) { argument 500 return resize_array(alloc, num, (void**)slots, size, count, sizeof(cspacepath_t)); 503 int allocman_configure_cspace_reserve(allocman_t *alloc, size_t num) { argument 504 return resize_slots_array(alloc, num, &alloc->cspace_slots, &alloc->desired_cspace_slots, &alloc->num_cspace_slots); 507 int allocman_configure_max_freed_slots(allocman_t *alloc, size_t num) { argument 508 return resize_slots_array(alloc, num, 511 allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num) argument 515 allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/ |
H A D | tx2.c | 250 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, argument 253 assert(num == 1); 260 if (dev->tx_remain < num) { 268 for (i = 0; i < num; i++) { 270 dev->tx_lengths[dev->tdt] = num; 278 dev->tx_remain -= num;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 299 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) { argument 301 /* we need to num + 1 free descriptors. The + 1 is for the virtio header */ 302 if (dev->tx_remain < num + 1) { 304 if (dev->tx_remain < num + 1) { 317 for (i = 0; i < num; i++) { 323 .flags = (i + 1 == num ? 0 : VRING_DESC_F_NEXT), 329 dev->tx_lengths[dev->tdt] = num; 332 dev->tdt = (dev->tdt + num + 1) % dev->tx_size; 333 dev->tx_remain -= (num + 1);
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | irq.py | 151 ''' parses IRQs of format <irq-num data...> ''' 155 num = data.pop(0) 159 return num
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 330 static int raw_tx(struct eth_driver *driver, unsigned int num, uintptr_t *phys, unsigned int *len, void *cookie) argument 335 if (dev->tx_remain < num) { 338 if (dev->tx_remain < num) { 344 for (i = 0; i < num; i++) { 349 dev->tx_ring[ring].stat = TXD_READY | (ring + 1 == dev->tx_size ? TXD_WRAP : 0) | (i + 1 == num ? TXD_ADDCRC | 353 dev->tx_lengths[dev->tdt] = num; 354 dev->tdt = (dev->tdt + num) % dev->tx_size; 355 dev->tx_remain -= num;
|