/seL4-refos-master/libs/libvterm/src/ |
H A D | utf8.h | 17 int nbytes = utf8_seqlen(codepoint); local 19 str[nbytes] = 0; 22 int b = nbytes; 29 switch(nbytes) { 38 return nbytes;
|
/seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
H A D | utf8.h | 17 int nbytes = utf8_seqlen(codepoint); local 19 str[nbytes] = 0; 22 int b = nbytes; 29 switch(nbytes) { 38 return nbytes;
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 36 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | k_r_malloc.h | 36 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes);
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 281 size_t nbytes; member in struct:tk1_i2c_state_::__anon571 288 size_t nbytes; member in struct:tk1_i2c_state_::__anon572 692 tk1_i2c_callback(i2c_bus_t *ib, enum i2c_stat stat, size_t nbytes) argument 695 ib->cb(ib, stat, nbytes, ib->token); 700 tk1_i2c_prepare_mmode_xfer_headers(i2c_slave_t *sl, size_t nbytes, argument 709 assert(nbytes > 0); 730 headers.io1 = ((nbytes - 1) & TK1I2C_TXPKT1_PAYLOAD_SIZE_MASK) 936 if (s->master.xfer_cursor <= s->master.nbytes) { 939 s->master.nbytes - s->master.xfer_cursor); 947 if (s->master.xfer_cursor > s->master.nbytes) { 1073 tk1_i2c_mmode_xfer(i2c_slave_t *sl, void *data, size_t nbytes, bool is_write) argument 1079 tk1_i2c_smode_xfer(void *data, size_t nbytes, bool is_write) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 281 size_t nbytes; member in struct:tk1_i2c_state_::__anon1002 288 size_t nbytes; member in struct:tk1_i2c_state_::__anon1003 692 tk1_i2c_callback(i2c_bus_t *ib, enum i2c_stat stat, size_t nbytes) argument 695 ib->cb(ib, stat, nbytes, ib->token); 700 tk1_i2c_prepare_mmode_xfer_headers(i2c_slave_t *sl, size_t nbytes, argument 709 assert(nbytes > 0); 730 headers.io1 = ((nbytes - 1) & TK1I2C_TXPKT1_PAYLOAD_SIZE_MASK) 936 if (s->master.xfer_cursor <= s->master.nbytes) { 939 s->master.nbytes - s->master.xfer_cursor); 947 if (s->master.xfer_cursor > s->master.nbytes) { 1073 tk1_i2c_mmode_xfer(i2c_slave_t *sl, void *data, size_t nbytes, bool is_write) argument 1079 tk1_i2c_smode_xfer(void *data, size_t nbytes, bool is_write) argument [all...] |
/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 17 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes) argument 21 nunits = (nbytes + sizeof(k_r_malloc_header_t) - 1) / sizeof(k_r_malloc_header_t) + 1;
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | k_r_malloc.c | 17 void *mspace_k_r_malloc_alloc(mspace_k_r_malloc_t *k_r_malloc, size_t nbytes) argument 21 nunits = (nbytes + sizeof(k_r_malloc_header_t) - 1) / sizeof(k_r_malloc_header_t) + 1;
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | fault_notify.c | 128 /* nbytes is the number of bytes from the offset dataspace start that we should copy into 133 ������������������ nbytes = (REFOS_PAGE_SIZE - initFrameSkip) 137 ��������������������������� nbytes = REFOS_PAGE_SIZE 141 ��������������� nbytes = fileDataSize - 147 ������������������ nbytes = 150 size_t nbytes = MIN(REFOS_PAGE_SIZE - initFrameSkip, local 152 nbytes = MIN(nbytes, winSize - dataspaceSkipWinOffset); 154 /* Check if nbytes is sane. */ 159 ROS_ERROR("nbytes overflowe [all...] |
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | fault_notify.c | 128 /* nbytes is the number of bytes from the offset dataspace start that we should copy into 133 ������������������ nbytes = (REFOS_PAGE_SIZE - initFrameSkip) 137 ��������������������������� nbytes = REFOS_PAGE_SIZE 141 ��������������� nbytes = fileDataSize - 147 ������������������ nbytes = 150 size_t nbytes = MIN(REFOS_PAGE_SIZE - initFrameSkip, local 152 nbytes = MIN(nbytes, winSize - dataspaceSkipWinOffset); 154 /* Check if nbytes is sane. */ 159 ROS_ERROR("nbytes overflowe [all...] |
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | elf.c | 123 int nbytes = PAGE_SIZE_4K - (dst & PAGE_MASK_4K); local 125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos)); 142 pos += nbytes; 143 dst += nbytes; 144 src += nbytes;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | elf.c | 123 int nbytes = PAGE_SIZE_4K - (dst & PAGE_MASK_4K); local 125 memcpy(loader_vaddr + (dst % PAGE_SIZE_4K), (void *)src, MIN(nbytes, file_size - pos)); 142 pos += nbytes; 143 dst += nbytes; 144 src += nbytes;
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dlb.c | 292 long pos, nread, nbytes; local 306 nbytes = nread * size; 307 dp->mark += nbytes; 308 dp->lib->fmark += nbytes;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | dlb.c | 292 long pos, nread, nbytes; local 306 nbytes = nread * size; 307 dp->mark += nbytes; 308 dp->lib->fmark += nbytes;
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 594 * @nbytes: Number of bytes to check (normally a multiple of 2) 597 unsigned compute_ip_checksum(const void *addr, unsigned nbytes); 615 * @nbytes: Number of bytes to check (normally a multiple of 2) 618 int ip_checksum_ok(const void *addr, unsigned nbytes);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 601 * @nbytes: Number of bytes to check (normally a multiple of 2) 604 unsigned compute_ip_checksum(const void *addr, unsigned nbytes); 622 * @nbytes: Number of bytes to check (normally a multiple of 2) 625 int ip_checksum_ok(const void *addr, unsigned nbytes);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | dataspace.c | 179 /*! @brief Calculates the page index into the dataspace based on the nbytes offset. 180 @param nbytes The offset into the ram dataspace. 184 ram_dspace_get_index(size_t nbytes) argument 186 return (uint32_t)(nbytes / REFOS_PAGE_SIZE);
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | dataspace.c | 179 /*! @brief Calculates the page index into the dataspace based on the nbytes offset. 180 @param nbytes The offset into the ram dataspace. 184 ram_dspace_get_index(size_t nbytes) argument 186 return (uint32_t)(nbytes / REFOS_PAGE_SIZE);
|