Searched refs:size (Results 151 - 175 of 420) sorted by relevance

1234567891011>>

/seL4-refos-master/apps/process_server/src/system/memserv/
H A Dringbuffer.h62 uint32_t size; member in struct:rb_buffer
H A Dringbuffer.c67 ((buf->size - 1) - (buf->localEnd - buf->localStart));
88 newRingBuffer->size = ram_dspace_get_size(dataspace) - RINGBUFFER_METADATA_SIZE;
150 uint32_t endBytes = MIN(len, buf->size - buf->localEnd);
175 buf->localEnd = (buf->localEnd + len) % buf->size;
196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf);
226 *bytesRead = MIN(buf->size - buf->localStart, len);
252 buf->localEnd = (buf->localEnd + len) % buf->size;
253 buf->localStart = (buf->localStart + *bytesRead) % buf->size;
/seL4-refos-master/libs/libmuslc/src/env/
H A D__reset_tls.c14 p->size - p->len);
/seL4-refos-master/libs/libmuslc/src/internal/powerpc/
H A Dsyscall.s19 .size __syscall, .-__syscall
/seL4-refos-master/libs/libmuslc/src/internal/powerpc64/
H A Dsyscall.s17 .size __syscall, .-__syscall
/seL4-refos-master/libs/libplatsupport/include/platsupport/
H A Dchardev.h133 * @param[in] size The number of bytes to read
147 static inline ssize_t ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, argument
150 return d->read(d, data, size, callback, token);
157 * @param[in] size The number of bytes to write
171 static inline ssize_t ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, argument
174 return d->write(d, data, size, callback, token);
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Di2c_bitbang.c172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, argument
181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, argument
198 void* vdata, size_t size,
218 for (count = 0; !nak && count < size; count++) {
219 *data++ = i2c_bb_readbyte(d, count + 1 == size);
224 cb(sl->bus, I2CSTAT_COMPLETE, size, token);
231 const void* vdata, size_t size,
250 for (count = 0; !nak && count < size; count++) {
256 cb(sl->bus, I2CSTAT_COMPLETE, size, token);
197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dchardev.h133 * @param[in] size The number of bytes to read
147 static inline ssize_t ps_cdev_read(ps_chardevice_t* d, void* data, size_t size, argument
150 return d->read(d, data, size, callback, token);
157 * @param[in] size The number of bytes to write
171 static inline ssize_t ps_cdev_write(ps_chardevice_t* d, void* data, size_t size, argument
174 return d->write(d, data, size, callback, token);
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Di2c_bitbang.c172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, argument
181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, argument
198 void* vdata, size_t size,
218 for (count = 0; !nak && count < size; count++) {
219 *data++ = i2c_bb_readbyte(d, count + 1 == size);
224 cb(sl->bus, I2CSTAT_COMPLETE, size, token);
231 const void* vdata, size_t size,
250 for (count = 0; !nak && count < size; count++) {
256 cb(sl->bus, I2CSTAT_COMPLETE, size, token);
197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dchardev.c29 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libutils/src/
H A Dcbor64.c30 size_t size; local
35 size = 0;
39 size = 8;
43 size = 16;
47 size = 32;
51 size = 64;
59 while (size > 0) {
60 size -= 8;
61 err = base64_putbyte(streamer, (number >> size) & MASK(8));
/seL4-refos-master/libs/libutils/src/
H A Dcbor64.c30 size_t size; local
35 size = 0;
39 size = 8;
43 size = 16;
47 size = 32;
51 size = 64;
59 while (size > 0) {
60 size -= 8;
61 err = base64_putbyte(streamer, (number >> size) & MASK(8));
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c190 /** Converts an integer size number into an equivalent hardware register value.
193 * @param size An integer for the operand size of the breakpoint.
196 PURE static inline word_t convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
203 size = 0;
205 switch (size) {
207 size = X86_DEBUG_BP_SIZE_1B;
210 size = X86_DEBUG_BP_SIZE_2B;
213 size = X86_DEBUG_BP_SIZE_8B;
216 assert(size
402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
[all...]
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dcommon.c66 static void *__map_device_page(void *cookie, uintptr_t paddr, size_t size,
92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
95 int bits = CTZ(size);
130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
133 int bits = CTZ(size);
153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument
157 return __map_device_page_regular(cookie, paddr, size, cached, flags);
159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/
H A Dringbuffer.c67 ((buf->size - 1) - (buf->localEnd - buf->localStart));
88 newRingBuffer->size = ram_dspace_get_size(dataspace) - RINGBUFFER_METADATA_SIZE;
150 uint32_t endBytes = MIN(len, buf->size - buf->localEnd);
175 buf->localEnd = (buf->localEnd + len) % buf->size;
196 size_t contentSize = (buf->size - 1) - rb_remaining_size(buf);
226 *bytesRead = MIN(buf->size - buf->localStart, len);
252 buf->localEnd = (buf->localEnd + len) % buf->size;
253 buf->localStart = (buf->localStart + *bytesRead) % buf->size;
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c66 static void *__map_device_page(void *cookie, uintptr_t paddr, size_t size,
92 static void *__map_device_page_failsafe(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
95 int bits = CTZ(size);
130 static void *__map_device_page_regular(void *cookie UNUSED, uintptr_t paddr, size_t size, argument
133 int bits = CTZ(size);
153 void *__map_device_page(void *cookie, uintptr_t paddr, size_t size, argument
157 return __map_device_page_regular(cookie, paddr, size, cached, flags);
159 return __map_device_page_failsafe(cookie, paddr, size, cached, flags);
/seL4-refos-master/libs/libmuslc/src/passwd/
H A Dgetgrent_a.c11 int __getgrent_a(FILE *f, struct group *gr, char **line, size_t *size, char ***mem, size_t *nmem, struct group **res) argument
20 if ((l=getline(line, size, f)) < 0) {
H A Dgetpwent_a.c11 int __getpwent_a(FILE *f, struct passwd *pw, char **line, size_t *size, struct passwd **res) argument
19 if ((l=getline(line, size, f)) < 0) {
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/
H A Dchardev.c34 .size = BIT(12), \
42 .size = BIT(12), \
/seL4-refos-master/projects/util_libs/libpci/include/pci/
H A Dpci.h44 uint32_t libpci_ioread(uint32_t port_no, uint32_t* val, uint32_t size);
45 uint32_t libpci_iowrite(uint32_t port_no, uint32_t val, uint32_t size);
55 * be of at least size PCI_MAX_DEVICES to be safe. */

Completed in 129 milliseconds

1234567891011>>