Searched refs:nbytes (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/libs/libvterm/src/
H A Dutf8.h17 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 Dutf8.h17 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 Dk_r_malloc.h36 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 Dk_r_malloc.h36 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 Di2c.c281 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 Di2c.c281 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 Dk_r_malloc.c17 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 Dk_r_malloc.c17 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 Dfault_notify.c128 /* 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 Dfault_notify.c128 /* 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 Delf.c123 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 Delf.c123 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 Ddlb.c292 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 Ddlb.c292 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 Dnet.h594 * @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 Dnet.h601 * @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 Ddataspace.c179 /*! @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 Ddataspace.c179 /*! @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);

Completed in 113 milliseconds